Deductions
- auxiliary science of history is part of social sciences and humanities ⇐ (auxiliary science of history is part of study of history), (study of history is part of social sciences and humanities), (is part of is a transitive relation)
- auxiliary science of history has part field of study ⇐ (genealogy is a field of study), (auxiliary science of history has part genealogy)
- field of study is for example auxiliary science of history ⇐ (auxiliary science of history is a field of study), (is a is inverse of is for example)
- academic discipline is for example auxiliary science of history ⇐ (auxiliary science of history is a academic discipline), (is a is inverse of is for example)
- auxiliary science of history is subclass of social sciences and humanities ⇐ (auxiliary science of history is subclass of humanities), (humanities is subclass of social sciences and 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)
- auxiliary science of history is a field of study ⇐ (academic discipline is subclass of field of study), (auxiliary science of history is a academic discipline)
- military history has quality auxiliary science of history ⇐ (cultural history of the military is subclass of auxiliary science of history), (military history has quality cultural history of the military)
- history of war has quality auxiliary science of history ⇐ (cultural history of the military is subclass of auxiliary science of history), (history of war has quality cultural history of the military)