Deductions
- war is subclass of problem ⇐ (peace is subclass of problem), (peace is opposite of war)
- peace is subclass of problem ⇐ (peace is subclass of armed conflict), (armed conflict is subclass of problem), (is subclass of is a transitive relation)
- problem has quality class ⇐ (value is a class), (problem has quality value)
- problem has quality existence ⇐ (problem has quality entity), (entity has quality existence), (has quality is a transitive relation)
- problem has quality entity ⇐ (taxonomic rank is a entity), (problem has quality taxonomic rank)
- problem has quality abstract entity ⇐ (undesirability is subclass of abstract entity), (problem has quality undesirability)
- problem is subclass of result ⇐ (solution is subclass of result), (solution is opposite of problem)
- problem has quality class ⇐ (type of property is a class), (problem has quality type of property)
- problem has quality philosophical concept ⇐ (subjectivity is a philosophical concept), (problem has quality subjectivity)
- problem has quality subjectivity ⇐ (problem has quality desirability), (desirability has quality subjectivity), (has quality is a transitive relation)
- problem has quality desirability ⇐ (problem has quality value), (value has quality desirability), (has quality is a transitive relation)
- problem has quality type of property ⇐ (problem has quality value), (value has quality type of property), (has quality is a transitive relation)
- problem has quality type ⇐ (problem has quality value), (value has quality type), (has quality is a transitive relation)
- problem has quality superclass ⇐ (problem has quality value), (value has quality superclass), (has quality is a transitive relation)
- problem has quality subjective quality ⇐ (problem has quality value), (value has quality subjective quality), (has quality is a transitive relation)
- problem has quality taxonomic rank ⇐ (problem has quality value), (value has quality taxonomic rank), (has quality is a transitive relation)
- problem is subclass of condition ⇐ (problem is subclass of situation), (situation is subclass of condition), (is subclass of is a transitive relation)
- armed conflict is subclass of problem ⇐ (armed conflict is subclass of warfare and armed conflicts), (warfare and armed conflicts is subclass of problem), (is subclass of is a transitive relation)
- warfare and armed conflicts is subclass of problem ⇐ (warfare and armed conflicts is subclass of social issue), (social issue is subclass of problem), (is subclass of is a transitive relation)
- problem has quality social science concept ⇐ (value is a social science concept), (problem has quality value)
- problem has quality value ⇐ (undesirability is subclass of value), (problem has quality undesirability)