A set of semantic relations involving the type-of property.