Deductions
- type of library has quality superclass ⇐ (type of library has quality abstract entity), (abstract entity has quality superclass), (has quality is a transitive relation)
- type of library has quality class ⇐ (quality is a class), (type of library has quality quality)
- type of library has quality superclass ⇐ (type of library has quality abstract entity), (abstract entity has quality superclass), (has quality is a transitive relation)
- type of library has quality taxonomic rank ⇐ (type of library has quality abstract entity), (abstract entity has quality taxonomic rank), (has quality is a transitive relation)
- type of library has quality abstract entity ⇐ (type is a abstract entity), (type of library has quality type)
- type of library is for example universal library ⇐ (universal library is a type of library), (is a is inverse of is for example)
- type of library has quality entity ⇐ (type is a entity), (type of library has quality type)
- university library has quality type of library ⇐ (university library is subclass of library), (library has quality type of library)
- universal library is a type of library ⇐ (special library is a type of library), (special library is opposite of universal library)
- second-order class is for example type of library ⇐ (type of library is a second-order class), (is a is inverse of is for example)
- type of library is for example digital library ⇐ (digital library is a type of library), (is a is inverse of is for example)
- type of library is for example art library ⇐ (art library is a type of library), (is a is inverse of is for example)
- type of library is for example physical library ⇐ (physical library is a type of 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)
- entity is for example type of library ⇐ (type of library is a entity), (is a is inverse of is for example)
- type of library has quality existence ⇐ (type of library is a entity), (entity has quality existence)
- type of library is a entity ⇐ (second-order class is subclass of entity), (type of library is a second-order class)
- type of library has quality type ⇐ (criterion is a type), (type of library has quality criterion)
- type of library has quality criterion ⇐ (type of library is subclass of class), (class has quality criterion)
- type of library has quality quality ⇐ (type of library is subclass of class), (class has quality quality)
- type of library has quality property ⇐ (type of library is subclass of class), (class has quality property)
- physical library is a type of library ⇐ (digital library is a type of library), (digital library is opposite of physical library)
- type of library is for example university library ⇐ (university library is a type of library), (is a is inverse of is for example)
- type of library is for example academic library ⇐ (academic library is a type of library), (is a is inverse of is for example)
- type of library is for example research library ⇐ (research library is a type of library), (is a is inverse of is for example)