Deductions
- war has quality arity ⇐ (war has quality mathematical property), (mathematical property has quality arity), (has quality is a transitive relation)
- war has quality number of entities ⇐ (war has quality mathematical property), (mathematical property has quality number of entities), (has quality is a transitive relation)
- war has quality class ⇐ (war has quality social science concept), (social science concept has quality class), (has quality is a transitive relation)
- war has quality extension of a concept ⇐ (war has quality social science concept), (social science concept has quality extension of a concept), (has quality is a transitive relation)
- war has quality mathematical property ⇐ (war has quality social science concept), (social science concept has quality mathematical property), (has quality is a transitive relation)
- war has quality relation ⇐ (war has quality social science concept), (social science concept has quality relation), (has quality is a transitive relation)
- war has quality set ⇐ (war has quality social science concept), (social science concept has quality set), (has quality is a transitive relation)
- war has quality mathematical object ⇐ (war has quality social science concept), (social science concept has quality mathematical object), (has quality is a transitive relation)
- war has quality subjectivity ⇐ (war has quality desirability), (desirability has quality subjectivity), (has quality is a transitive relation)
- war has quality philosophical concept ⇐ (war has quality desirability), (desirability has quality philosophical concept), (has quality is a transitive relation)
- war has quality subjective quality ⇐ (war is subclass of condition), (condition has quality subjective quality)
- war has quality desirability ⇐ (war is subclass of condition), (condition has quality desirability)
- war has quality value ⇐ (war is subclass of condition), (condition has quality value)
- war has quality social science concept ⇐ (war is subclass of condition), (condition has quality social science concept)
- war has quality point in time ⇐ (war is subclass of condition), (condition has quality point in time)
- war is subclass of problem ⇐ (peace is subclass of problem), (peace is opposite of war)
- war is subclass of condition ⇐ (peace is subclass of condition), (peace is opposite of war)
- war is subclass of situation ⇐ (peace is subclass of situation), (peace is opposite of war)
- war has quality taxonomic rank ⇐ (war is subclass of state), (state has quality taxonomic rank)
- war has quality existence ⇐ (war is subclass of state), (state has quality existence)
- war has quality superclass ⇐ (war is subclass of state), (state has quality superclass)
- war is subclass of phenomenon ⇐ (war is subclass of state), (state is subclass of phenomenon), (is subclass of is a transitive relation)
- war has quality class ⇐ (quality is a class), (war has quality quality)
- war has quality abstract entity ⇐ (type is a abstract entity), (war has quality type)
- entity is for example war ⇐ (war is a entity), (is a is inverse of is for example)
- war is subclass of state ⇐ (peace is subclass of state), (peace is opposite of war)
- war has quality entity ⇐ (type is a entity), (war has quality type)
- war is a entity ⇐ (peace is a entity), (peace is opposite of war)
- war has quality class ⇐ (type of property is a class), (war has quality type of property)
- war is for example French invasion of Russia ⇐ (French invasion of Russia is a war), (is a is inverse of is for example)
- class is for example war ⇐ (war is a class), (is a is inverse of is for example)
- type is for example war ⇐ (war is a type), (is a is inverse of is for example)
- type of conflict is for example war ⇐ (war is a type of conflict), (is a is inverse of is for example)
- type of value is for example war ⇐ (war is a type of value), (is a is inverse of is for example)
- war is subclass of occurrent ⇐ (peace is subclass of occurrent), (peace is opposite of war)
- war has quality property ⇐ (war has quality type), (type has quality property), (has quality is a transitive relation)
- war has quality quality ⇐ (war has quality type), (type has quality quality), (has quality is a transitive relation)
- war has quality criterion ⇐ (war has quality type), (type has quality criterion), (has quality is a transitive relation)
- war has quality type of property ⇐ (war has quality type), (type has quality type of property), (has quality is a transitive relation)
- war is subclass of social issue ⇐ (war is subclass of armed conflict), (armed conflict is subclass of social issue), (is subclass of is a transitive relation)
- war is subclass of warfare and armed conflicts ⇐ (war is subclass of armed conflict), (armed conflict is subclass of warfare and armed conflicts), (is subclass of is a transitive relation)
- war is a class ⇐ (type is subclass of class), (war is a type)
- war is a type ⇐ (type of value is subclass of type), (war is a type of value)
- war has quality type ⇐ (type of war is subclass of type), (war has quality type of war)
- war is a type of value ⇐ (peace is a type of value), (peace is opposite of war)