Deductions
- library has quality class ⇐ (existence is a class), (library has quality existence)
- library is for example St John's College Library ⇐ (St John's College Library is a library), (is a is inverse of is for example)
- library has quality existence ⇐ (library has quality fixed-order class), (fixed-order class has quality existence), (has quality is a transitive relation)
- St John's College Library is a library ⇐ (university library is subclass of library), (St John's College Library is a university library)
- library has quality fixed-order class ⇐ (second-order class is a fixed-order class), (library has quality second-order class)
- library has quality entity ⇐ (type of library is a entity), (library has quality type of library)
- concept is for example library ⇐ (library is a concept), (is a is inverse of is for example)
- digital library is subclass of library ⇐ (physical library is subclass of library), (physical library is opposite of digital library)
- library has quality second-order class ⇐ (type of library is a second-order class), (library has quality type of library)
- library is a concept ⇐ (Antilibrary is a concept), (Antilibrary is opposite of library)
- library is for example Frick Art Research Library ⇐ (Frick Art Research Library is a library), (is a is inverse of is for example)
- library is for example Moravian Library ⇐ (Moravian Library is a 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)
- 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)