Deductions
- nonviolence is subclass of aggression ⇐ (violence is subclass of aggression), (violence is opposite of nonviolence)
- combat is subclass of aggression ⇐ (combat is subclass of violence), (violence is subclass of aggression), (is subclass of is a transitive relation)
- aggression is subclass of spatio-temporal entity ⇐ (aggression is subclass of action), (action is subclass of spatio-temporal entity), (is subclass of is a transitive relation)
- aggression is subclass of object ⇐ (aggression is subclass of action), (action is subclass of object), (is subclass of is a transitive relation)
- aggression is subclass of occurrent ⇐ (aggression is subclass of action), (action is subclass of occurrent), (is subclass of is a transitive relation)
- battle is subclass of aggression ⇐ (battle is subclass of violence), (violence is subclass of aggression), (is subclass of is a transitive relation)
- aggression is subclass of occurrence ⇐ (aggression is subclass of action), (action is subclass of occurrence), (is subclass of is a transitive relation)
- battle has quality aggression ⇐ (violence is subclass of aggression), (battle has quality violence)
- combat has quality aggression ⇐ (violence is subclass of aggression), (combat has quality violence)