Deductions
- university library has quality class ⇐ (quality is a class), (university library has quality quality)
- university library has quality abstract entity ⇐ (type is a abstract entity), (university library has quality type)
- university library has quality fixed-order class ⇐ (second-order class is a fixed-order class), (university library has quality second-order class)
- university library has quality entity ⇐ (type is a entity), (university library has quality type)
- university library has quality type of library ⇐ (university library is subclass of library), (library has quality type of library)
- university library has quality second-order class ⇐ (university library is subclass of library), (library has quality second-order class)
- university library has part special collection ⇐ (university library is subclass of library), (library has part special collection)
- entity is for example university library ⇐ (university library is a entity), (is a is inverse of is for example)
- class is for example university library ⇐ (university library is a class), (is a is inverse of is for example)
- university library has quality type ⇐ (university library is a class), (class has quality type)
- university library has quality property ⇐ (university library is a class), (class has quality property)
- university library has quality quality ⇐ (university library is a class), (class has quality quality)
- university library has quality criterion ⇐ (university library is a class), (class has quality criterion)
- university library has quality existence ⇐ (university library is a class), (class has quality existence)
- university library is a entity ⇐ (class is subclass of entity), (university library is a class)
- university library is a class ⇐ (type of library is subclass of class), (university library is a type of library)
- university library has quality acronym ⇐ (university library is subclass of GLAM), (GLAM has quality acronym)
- type of library is for example university library ⇐ (university library is a type of library), (is a is inverse of is for example)
- university library is for example St John's College Library ⇐ (St John's College Library is a university library), (is a is inverse of is for example)
- university library is subclass of library ⇐ (university library is subclass of research library), (research library is subclass of library), (is subclass of is a transitive relation)
- university library is subclass of GLAM ⇐ (university library is subclass of research library), (research library is subclass of GLAM), (is subclass of is a transitive relation)
- university library is subclass of research library ⇐ (university library is subclass of academic library), (academic library is subclass of research library), (is subclass of is a transitive relation)