Deductions
- academic archive has quality superclass ⇐ (academic archive has quality abstract entity), (abstract entity has quality superclass), (has quality is a transitive relation)
- academic archive has quality class ⇐ (quality is a class), (academic archive has quality quality)
- academic archive has quality superclass ⇐ (academic archive has quality abstract entity), (abstract entity has quality superclass), (has quality is a transitive relation)
- academic archive has quality taxonomic rank ⇐ (academic archive has quality abstract entity), (abstract entity has quality taxonomic rank), (has quality is a transitive relation)
- academic archive has quality abstract entity ⇐ (property is a abstract entity), (academic archive has quality property)
- academic archive has quality entity ⇐ (property is a entity), (academic archive has quality property)
- type is for example academic archive ⇐ (academic archive is a type), (is a is inverse of is for example)
- academic archive has quality property ⇐ (academic archive is a type), (type has quality property)
- academic archive has quality criterion ⇐ (academic archive is a type), (type has quality criterion)
- academic archive has quality type of property ⇐ (academic archive is a type), (type has quality type of property)
- academic archive has quality quality ⇐ (academic archive is a type), (type has quality quality)
- academic archive has quality class ⇐ (academic archive is a type), (type has quality class)
- academic archive has quality existence ⇐ (academic archive is a type), (type has quality existence)
- academic archive is a type ⇐ (archive type is subclass of type), (academic archive is a archive type)
- archive type is for example academic archive ⇐ (academic archive is a archive type), (is a is inverse of is for example)
- academic archive is for example St John's College Library Special Collections, University of Cambridge ⇐ (St John's College Library Special Collections, University of Cambridge is a academic archive), (is a is inverse of is for example)