Deductions
- research library has quality class ⇐ (existence is a class), (research library has quality existence)
- class is for example research library ⇐ (research library is a class), (is a is inverse of is for example)
- entity is for example research library ⇐ (research library is a entity), (is a is inverse of is for example)
- research library has quality existence ⇐ (research library is a entity), (entity has quality existence)
- research library is a entity ⇐ (class is subclass of entity), (research library is a class)
- research library is a class ⇐ (type of library is subclass of class), (research library is a type of library)
- research library has quality acronym ⇐ (research library is subclass of GLAM), (GLAM has quality acronym)
- type of library is for example research library ⇐ (research library is a type of library), (is a is inverse of is for example)
- research library is subclass of GLAM ⇐ (research library is subclass of library), (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)