Deductions
- archive has quality superclass ⇐ (archive has quality abstract entity), (abstract entity has quality superclass), (has quality is a transitive relation)
- archive has quality class ⇐ (existence is a class), (archive has quality existence)
- archive has quality existence ⇐ (archive has quality abstract entity), (abstract entity has quality existence), (has quality is a transitive relation)
- archive has quality superclass ⇐ (archive has quality abstract entity), (abstract entity has quality superclass), (has quality is a transitive relation)
- archive has quality taxonomic rank ⇐ (archive has quality abstract entity), (abstract entity has quality taxonomic rank), (has quality is a transitive relation)
- archive has quality abstract entity ⇐ (archive type is a abstract entity), (archive has quality archive type)
- archive has quality entity ⇐ (archive type is a entity), (archive has quality archive type)
- archive is for example Stuart A. Rose Manuscript, Archives, and Rare Book Library ⇐ (Stuart A. Rose Manuscript, Archives, and Rare Book Library is a archive), (is a is inverse of is for example)