Deductions
- art library has quality superclass ⇐ (art library has quality abstract entity), (abstract entity has quality superclass), (has quality is a transitive relation)
- art library has quality class ⇐ (quality is a class), (art library has quality quality)
- art library has quality superclass ⇐ (art library has quality abstract entity), (abstract entity has quality superclass), (has quality is a transitive relation)
- art library has quality taxonomic rank ⇐ (art library has quality abstract entity), (abstract entity has quality taxonomic rank), (has quality is a transitive relation)
- art library has quality abstract entity ⇐ (type is a abstract entity), (art library has quality type)
- art library has quality entity ⇐ (type is a entity), (art library has quality type)
- type of library is for example art library ⇐ (art library is a type of library), (is a is inverse of is for example)
- class is for example art library ⇐ (art library is a class), (is a is inverse of is for example)
- entity is for example art library ⇐ (art library is a entity), (is a is inverse of is for example)
- art library has quality type ⇐ (art library is a class), (class has quality type)
- art library has quality property ⇐ (art library is a class), (class has quality property)
- art library has quality quality ⇐ (art library is a class), (class has quality quality)
- art library has quality criterion ⇐ (art library is a class), (class has quality criterion)
- art library has quality existence ⇐ (art library is a entity), (entity has quality existence)
- art library is a entity ⇐ (class is subclass of entity), (art library is a class)
- art library is a class ⇐ (type of library is subclass of class), (art library is a type of library)
- art library is for example Philadelphia Museum of Art Library and Archives ⇐ (Philadelphia Museum of Art Library and Archives is a art library), (is a is inverse of is for example)