Deductions
- academic library has quality superclass ⇐ (academic library has quality abstract entity), (abstract entity has quality superclass), (has quality is a transitive relation)
- academic library is part of educational system ⇐ (academic library is part of higher education), (higher education is part of educational system), (is part of is a transitive relation)
- academic library has quality class ⇐ (quality is a class), (academic library has quality quality)
- academic library has quality superclass ⇐ (academic library has quality abstract entity), (abstract entity has quality superclass), (has quality is a transitive relation)
- academic library has quality taxonomic rank ⇐ (academic library has quality abstract entity), (abstract entity has quality taxonomic rank), (has quality is a transitive relation)
- academic library has quality abstract entity ⇐ (type is a abstract entity), (academic library has quality type)
- academic library has quality entity ⇐ (type is a entity), (academic library has quality type)
- entity is for example academic library ⇐ (academic library is a entity), (is a is inverse of is for example)
- class is for example academic library ⇐ (academic library is a class), (is a is inverse of is for example)
- academic library has quality type ⇐ (academic library is a class), (class has quality type)
- academic library has quality property ⇐ (academic library is a class), (class has quality property)
- academic library has quality quality ⇐ (academic library is a class), (class has quality quality)
- academic library has quality criterion ⇐ (academic library is a class), (class has quality criterion)
- academic library has quality existence ⇐ (academic library is a class), (class has quality existence)
- academic library is a entity ⇐ (class is subclass of entity), (academic library is a class)
- academic library is a class ⇐ (type of library is subclass of class), (academic library is a type of library)
- type of library is for example academic library ⇐ (academic library is a type of library), (is a is inverse of is for example)
- academic library is for example St John's College Library ⇐ (St John's College Library is a academic library), (is a is inverse of is for example)
- academic library is subclass of library ⇐ (academic library is subclass of research library), (research library is subclass of library), (is subclass of is a transitive relation)
- St John's College Library is a academic library ⇐ (university library is subclass of academic library), (St John's College Library is a university library)