Deductions
- typology has quality class ⇐ (existence is a class), (typology has quality existence)
- typology is for example palace ⇐ (palace is a typology), (is a is inverse of is for example)
- palace is a typology ⇐ (architectural typology is subclass of typology), (palace is a architectural typology)
- typology has quality entity ⇐ (taxonomic rank is a entity), (typology has quality taxonomic rank)
- typology has quality superclass ⇐ (typology is subclass of knowledge organization system), (knowledge organization system has quality superclass)
- typology has quality taxonomic rank ⇐ (typology is subclass of knowledge organization system), (knowledge organization system has quality taxonomic rank)
- typology has quality existence ⇐ (typology is subclass of knowledge organization system), (knowledge organization system has quality existence)
- knowledge system is for example typology ⇐ (typology is a knowledge system), (is a is inverse of is for example)
- field of study is for example typology ⇐ (typology is a field of study), (is a is inverse of is for example)
- typology is subclass of entity ⇐ (typology is subclass of classification scheme), (classification scheme is subclass of entity), (is subclass of is a transitive relation)
- typology is subclass of conceptual system ⇐ (typology is subclass of classification scheme), (classification scheme is subclass of conceptual system), (is subclass of is a transitive relation)
- typology is subclass of system ⇐ (typology is subclass of classification scheme), (classification scheme is subclass of system), (is subclass of is a transitive relation)
- typology is subclass of collective entity ⇐ (typology is subclass of classification scheme), (classification scheme is subclass of collective entity), (is subclass of is a transitive relation)
- typology is subclass of knowledge organization system ⇐ (typology is subclass of classification scheme), (classification scheme is subclass of knowledge organization system), (is subclass of is a transitive relation)
- typology is a knowledge system ⇐ (field of study is subclass of knowledge system), (typology is a field of study)