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