Deductions
- history of North America has quality faculty of humanities ⇐ (history of North America is subclass of humanities), (humanities has quality faculty of humanities)
- faculty of humanities has quality class ⇐ (existence is a class), (faculty of humanities has quality existence)
- faculty of humanities has quality entity ⇐ (taxonomic rank is a entity), (faculty of humanities has quality taxonomic rank)
- cultural history of the military has quality faculty of humanities ⇐ (cultural history of the military is subclass of humanities), (humanities has quality faculty of humanities)
- type of educational institution is for example faculty of humanities ⇐ (faculty of humanities is a type of educational institution), (is a is inverse of is for example)
- class is for example faculty of humanities ⇐ (faculty of humanities is a class), (is a is inverse of is for example)
- entity is for example faculty of humanities ⇐ (faculty of humanities is a entity), (is a is inverse of is for example)
- faculty of humanities has quality superclass ⇐ (faculty of humanities is a class), (class has quality superclass)
- faculty of humanities has quality taxonomic rank ⇐ (faculty of humanities is a class), (class has quality taxonomic rank)
- faculty of humanities has quality existence ⇐ (faculty of humanities is a entity), (entity has quality existence)
- faculty of humanities is a entity ⇐ (type of educational institution is subclass of entity), (faculty of humanities is a type of educational institution)
- faculty of humanities is a class ⇐ (type of educational institution is subclass of class), (faculty of humanities is a type of educational institution)
- phonology has quality faculty of humanities ⇐ (phonology is subclass of humanities), (humanities has quality faculty of humanities)