Deductions
- act of aggression has quality class ⇐ (existence is a class), (act of aggression has quality existence)
- act of aggression has quality existence ⇐ (act of aggression is subclass of entity), (entity has quality existence)
- act of aggression has quality point in time ⇐ (act of aggression is subclass of spatio-temporal entity), (spatio-temporal entity has quality point in time)
- legal concept is for example act of aggression ⇐ (act of aggression is a legal concept), (is a is inverse of is for example)
- act of aggression is subclass of spatio-temporal entity ⇐ (act of aggression is subclass of occurrence), (occurrence is subclass of spatio-temporal entity), (is subclass of is a transitive relation)
- act of aggression is subclass of object ⇐ (act of aggression is subclass of occurrence), (occurrence is subclass of object), (is subclass of is a transitive relation)
- act of aggression is subclass of occurrent ⇐ (act of aggression is subclass of occurrence), (occurrence is subclass of occurrent), (is subclass of is a transitive relation)
- act of aggression is subclass of entity ⇐ (act of aggression is subclass of occurrence), (occurrence is subclass of entity), (is subclass of is a transitive relation)
- act of aggression is subclass of action ⇐ (act of aggression is subclass of aggression), (aggression is subclass of action), (is subclass of is a transitive relation)
- act of aggression is subclass of occurrence ⇐ (act of aggression is subclass of aggression), (aggression is subclass of occurrence), (is subclass of is a transitive relation)