Deductions
- social issue is for example French invasion of Russia ⇐ (French invasion of Russia is a social issue), (is a is inverse of is for example)
- French invasion of Russia is a social issue ⇐ (armed conflict is subclass of social issue), (French invasion of Russia is a armed conflict)
- type is for example social issue ⇐ (social issue is a type), (is a is inverse of is for example)
- social issue is a type ⇐ (type of problem is subclass of type), (social issue is a type of problem)
- type of problem is for example social issue ⇐ (social issue is a type of problem), (is a is inverse of is for example)
- peace is subclass of social issue ⇐ (war is subclass of social issue), (war is opposite of peace)
- social issue is subclass of situation ⇐ (social issue is subclass of problem), (problem is subclass of situation), (is subclass of is a transitive relation)
- social issue is subclass of condition ⇐ (social issue is subclass of problem), (problem is subclass of condition), (is subclass of 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)
- armed conflict is subclass of social issue ⇐ (armed conflict is subclass of warfare and armed conflicts), (warfare and armed conflicts is subclass of social issue), (is subclass of is a transitive relation)