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