Deductions
- university building has quality superclass ⇐ (university building has quality abstract entity), (abstract entity has quality superclass), (has quality is a transitive relation)
- university building has quality class ⇐ (quality is a class), (university building has quality quality)
- university building has quality superclass ⇐ (university building has quality abstract entity), (abstract entity has quality superclass), (has quality is a transitive relation)
- university building has quality taxonomic rank ⇐ (university building has quality abstract entity), (abstract entity has quality taxonomic rank), (has quality is a transitive relation)
- university building has quality abstract entity ⇐ (type is a abstract entity), (university building has quality type)
- university building has quality entity ⇐ (type is a entity), (university building has quality type)
- class is for example university building ⇐ (university building is a class), (is a is inverse of is for example)
- entity is for example university building ⇐ (university building is a entity), (is a is inverse of is for example)
- university building has quality type ⇐ (university building is a class), (class has quality type)
- university building has quality property ⇐ (university building is a class), (class has quality property)
- university building has quality quality ⇐ (university building is a class), (class has quality quality)
- university building has quality criterion ⇐ (university building is a class), (class has quality criterion)
- university building has quality existence ⇐ (university building is a entity), (entity has quality existence)
- university building is a entity ⇐ (class is subclass of entity), (university building is a class)
- university building is a class ⇐ (building type is subclass of class), (university building is a building type)
- building type is for example university building ⇐ (university building is a building type), (is a is inverse of is for example)