Deductions
- history of North America is subclass of humanities ⇐ (history of North America is subclass of study of history), (study of history is subclass of humanities), (is subclass of is a transitive relation)
- representation is part of humanities ⇐ (representation is part of philosophy), (philosophy is part of humanities), (is part of is a transitive relation)
- branch of philosophy is part of humanities ⇐ (branch of philosophy is part of philosophy), (philosophy is part of humanities), (is part of is a transitive relation)
- monad is part of humanities ⇐ (monad is part of philosophy), (philosophy is part of humanities), (is part of is a transitive relation)
- creator is part of humanities ⇐ (creator is part of philosophy), (philosophy is part of humanities), (is part of is a transitive relation)
- humanities has quality criterion ⇐ (humanities has quality type of property), (type of property has quality criterion), (has quality is a transitive relation)
- humanities has quality property ⇐ (humanities has quality type of property), (type of property has quality property), (has quality is a transitive relation)
- humanities has quality abstract entity ⇐ (type is a abstract entity), (humanities has quality type)
- field of study is for example humanities ⇐ (humanities is a field of study), (is a is inverse of is for example)
- humanities is a field of study ⇐ (academic discipline is subclass of field of study), (humanities is a academic discipline)
- humanities has quality type of object ⇐ (class is a type of object), (humanities has quality class)
- humanities has quality class ⇐ (faculty of humanities is a class), (humanities has quality faculty of humanities)
- humanities has quality entity ⇐ (taxonomic rank is a entity), (humanities has quality taxonomic rank)
- humanities has quality source ⇐ (source of information is subclass of source), (humanities has quality source of information)
- history of war has quality humanities ⇐ (cultural history of the military is subclass of humanities), (history of war has quality cultural history of the military)
- military history has quality humanities ⇐ (cultural history of the military is subclass of humanities), (military history has quality cultural history of the military)
- humanities has part variable-order class ⇐ (type of classification is a variable-order class), (humanities has part type of classification)
- humanities has part type of classification ⇐ (knowledge classification is a type of classification), (humanities has part knowledge classification)
- humanities has part knowledge classification ⇐ (academic discipline is a knowledge classification), (humanities has part academic discipline)
- humanities has quality class ⇐ (type of property is a class), (humanities has quality type of property)
- humanities has quality evidence ⇐ (humanities is subclass of science), (science has quality evidence)
- humanities has quality source of information ⇐ (humanities is subclass of science), (science has quality source of information)
- humanities has quality scientific evidence ⇐ (humanities is subclass of science), (science has quality scientific evidence)
- humanities has quality existence ⇐ (humanities is subclass of science), (science has quality existence)
- humanities has part academic discipline ⇐ (anthropology is a academic discipline), (humanities has part anthropology)
- humanities has part field of study ⇐ (anthropology is a field of study), (humanities has part anthropology)
- academic discipline is for example humanities ⇐ (humanities is a academic discipline), (is a is inverse of is for example)
- pseudoarchaeology is subclass of humanities ⇐ (archaeology is subclass of humanities), (archaeology is opposite of pseudoarchaeology)
- humanities has quality topic ⇐ (humanities is a academic discipline), (academic discipline has quality topic)
- humanities has quality superclass ⇐ (humanities is a academic discipline), (academic discipline has quality superclass)
- humanities has quality quality ⇐ (humanities is a academic discipline), (academic discipline has quality quality)
- humanities has quality taxonomic rank ⇐ (humanities is a academic discipline), (academic discipline has quality taxonomic rank)
- humanities has quality type of property ⇐ (humanities is a academic discipline), (academic discipline has quality type of property)
- humanities has quality type ⇐ (humanities is a academic discipline), (academic discipline has quality type)
- phonology is subclass of humanities ⇐ (phonology is subclass of linguistics), (linguistics is subclass of humanities), (is subclass of is a transitive relation)
- humanities is subclass of science ⇐ (humanities is subclass of social sciences and humanities), (social sciences and humanities is subclass of science), (is subclass of is a transitive relation)
- archaeology is subclass of humanities ⇐ (archaeology is subclass of study of history), (study of history is subclass of humanities), (is subclass of is a transitive relation)
- cultural history of the military is subclass of humanities ⇐ (cultural history of the military is subclass of auxiliary science of history), (auxiliary science of history is subclass of humanities), (is subclass of is a transitive relation)
- history of war is subclass of humanities ⇐ (history of war is subclass of military history), (military history is subclass of humanities), (is subclass of is a transitive relation)
- military history is subclass of humanities ⇐ (military history is subclass of study of history), (study of history is subclass of humanities), (is subclass of is a transitive relation)
- university history is subclass of humanities ⇐ (university history is subclass of study of history), (study of history is subclass of humanities), (is subclass of is a transitive relation)
- auxiliary science of history is subclass of humanities ⇐ (auxiliary science of history is subclass of study of history), (study of history is subclass of humanities), (is subclass of is a transitive relation)