Deductions
- phonology is part of language arts ⇐ (phonology is part of linguistics), (linguistics is part of language arts), (is part of is a transitive relation)
- phonology has quality existence ⇐ (phonology has quality abstract entity), (abstract entity has quality existence), (has quality is a transitive relation)
- phonology has quality abstract entity ⇐ (type is a abstract entity), (phonology has quality type)
- phonology has quality class ⇐ (faculty of humanities is a class), (phonology has quality faculty of humanities)
- phonology has quality entity ⇐ (taxonomic rank is a entity), (phonology has quality taxonomic rank)
- phonology has quality class ⇐ (type of property is a class), (phonology has quality type of property)
- phonology has quality topic ⇐ (phonology is subclass of humanities), (humanities has quality topic)
- phonology has quality type of property ⇐ (phonology is subclass of humanities), (humanities has quality type of property)
- phonology has quality type ⇐ (phonology is subclass of humanities), (humanities has quality type)
- phonology has quality taxonomic rank ⇐ (phonology is subclass of humanities), (humanities has quality taxonomic rank)
- phonology has quality superclass ⇐ (phonology is subclass of humanities), (humanities has quality superclass)
- phonology has quality faculty of humanities ⇐ (phonology is subclass of humanities), (humanities has quality faculty of humanities)
- phonology has quality quality ⇐ (phonology is subclass of humanities), (humanities has quality quality)
- language subsystem is for example phonology ⇐ (phonology is a language subsystem), (is a is inverse of is for example)
- phonology is subclass of humanities ⇐ (phonology is subclass of linguistics), (linguistics is subclass of humanities), (is subclass of is a transitive relation)