Deductions
- group of structures or buildings has part class ⇐ (entity is a class), (group of structures or buildings has part entity)
- group of structures or buildings has part class ⇐ (type of structure is a class), (group of structures or buildings has part type of structure)
- group of structures or buildings has part variable-order class ⇐ (concept is a variable-order class), (group of structures or buildings has part concept)
- group of structures or buildings has part concept ⇐ (metaclass is a concept), (group of structures or buildings has part metaclass)
- group of structures or buildings has part metaclass ⇐ (abstract entity is a metaclass), (group of structures or buildings has part abstract entity)
- group of structures or buildings has part type of object ⇐ (abstract entity is a type of object), (group of structures or buildings has part abstract entity)
- group of structures or buildings has part entity ⇐ (type of structure is a entity), (group of structures or buildings has part type of structure)
- group of structures or buildings has part abstract entity ⇐ (architectural structure is a abstract entity), (group of structures or buildings has part architectural structure)
- group of structures or buildings has part type of structure ⇐ (architectural structure is a type of structure), (group of structures or buildings has part architectural structure)
- group of structures or buildings is for example United States Capitol Complex ⇐ (United States Capitol Complex is a group of structures or buildings), (is a is inverse of is for example)
- group of structures or buildings is for example Liberation Heritage Route ⇐ (Liberation Heritage Route is a group of structures or buildings), (is a is inverse of is for example)