Deductions
- war is subclass of situation ⇐ (peace is subclass of situation), (peace is opposite of war)
- peace is subclass of situation ⇐ (peace is subclass of armed conflict), (armed conflict is subclass of situation), (is subclass of is a transitive relation)
- solution is subclass of situation ⇐ (problem is subclass of situation), (problem is opposite of solution)
- situation is for example French invasion of Russia ⇐ (French invasion of Russia is a situation), (is a is inverse of is for example)
- French invasion of Russia is a situation ⇐ (armed conflict is subclass of situation), (French invasion of Russia is a armed conflict)
- condition type is for example situation ⇐ (situation is a condition type), (is a is inverse of is for example)
- armed conflict is subclass of situation ⇐ (armed conflict is subclass of social issue), (social issue is subclass of situation), (is subclass of is a transitive relation)
- social issue is subclass of situation ⇐ (social issue is subclass of problem), (problem is subclass of situation), (is subclass of is a transitive relation)
- situation is subclass of occurrent ⇐ (situation is subclass of condition), (condition is subclass of occurrent), (is subclass of is a transitive relation)
- situation is subclass of state ⇐ (situation is subclass of condition), (condition is subclass of state), (is subclass of is a transitive relation)
- situation is subclass of phenomenon ⇐ (situation is subclass of condition), (condition is subclass of phenomenon), (is subclass of is a transitive relation)
- word-sense disambiguation is subclass of situation ⇐ (word-sense disambiguation is subclass of problem), (problem is subclass of situation), (is subclass of is a transitive relation)