Deductions
- archive type has quality class ⇐ (quality is a class), (archive type has quality quality)
- class is for example archive type ⇐ (archive type is a class), (is a is inverse of is for example)
- archive type is a class ⇐ (abstract entity is subclass of class), (archive type is a abstract entity)
- archive type has quality abstract entity ⇐ (type is a abstract entity), (archive type has quality type)
- abstract entity is for example archive type ⇐ (archive type is a abstract entity), (is a is inverse of is for example)
- archive type has quality superclass ⇐ (archive type is a abstract entity), (abstract entity has quality superclass)
- archive type has quality taxonomic rank ⇐ (archive type is a abstract entity), (abstract entity has quality taxonomic rank)
- archive type is a abstract entity ⇐ (metaclass is subclass of abstract entity), (archive type is a metaclass)
- archive type has quality entity ⇐ (type is a entity), (archive type has quality type)
- metaclass is for example archive type ⇐ (archive type is a metaclass), (is a is inverse of is for example)
- entity is for example archive type ⇐ (archive type is a entity), (is a is inverse of is for example)
- archive type has quality existence ⇐ (archive type is a entity), (entity has quality existence)
- archive type is a entity ⇐ (metaclass is subclass of entity), (archive type is a metaclass)
- archive type has quality type ⇐ (criterion is a type), (archive type has quality criterion)
- archive type has quality class ⇐ (type of property is a class), (archive type has quality type of property)
- archive type has quality type of property ⇐ (archive type is subclass of type), (type has quality type of property)
- archive type has quality criterion ⇐ (archive type is subclass of type), (type has quality criterion)
- archive type has quality quality ⇐ (archive type is subclass of type), (type has quality quality)
- archive type has quality property ⇐ (archive type is subclass of type), (type has quality property)
- archive type is for example academic archive ⇐ (academic archive is a archive type), (is a is inverse of is for example)