Deductions
- building type has quality superclass ⇐ (building type has quality abstract entity), (abstract entity has quality superclass), (has quality is a transitive relation)
- building type has part concept ⇐ (class is a concept), (building type has part class)
- building type has part class ⇐ (class is a class), (building type has part class)
- building type has quality class ⇐ (quality is a class), (building type has quality quality)
- building type has quality existence ⇐ (building type has quality abstract entity), (abstract entity has quality existence), (has quality is a transitive relation)
- building type has quality superclass ⇐ (building type has quality abstract entity), (abstract entity has quality superclass), (has quality is a transitive relation)
- building type has quality taxonomic rank ⇐ (building type has quality abstract entity), (abstract entity has quality taxonomic rank), (has quality is a transitive relation)
- building type has quality abstract entity ⇐ (type is a abstract entity), (building type has quality type)
- building type has part class ⇐ (entity is a class), (building type has part entity)
- building type has quality entity ⇐ (type is a entity), (building type has quality type)
- building type is for example administrative building ⇐ (administrative building is a building type), (is a is inverse of is for example)
- building type is for example building of public administration ⇐ (building of public administration is a building type), (is a is inverse of is for example)
- classification scheme is for example building type ⇐ (building type is a classification scheme), (is a is inverse of is for example)
- building type has quality type ⇐ (criterion is a type), (building type has quality criterion)
- building type has quality criterion ⇐ (building type is subclass of class), (class has quality criterion)
- building type has quality quality ⇐ (building type is subclass of class), (class has quality quality)
- building type has quality property ⇐ (building type is subclass of class), (class has quality property)
- United States Capitol Complex has part building type ⇐ (capitol building is a building type), (United States Capitol Complex has part capitol building)
- building type has part variable-order class ⇐ (entity is a variable-order class), (building type has part entity)
- building type has part entity ⇐ (building type is subclass of class), (class has part entity)
- building type is for example university building ⇐ (university building is a building type), (is a is inverse of is for example)
- building type is for example capitol building ⇐ (capitol building is a building type), (is a is inverse of is for example)