Deductions
- violence has quality superclass ⇐ (violence has quality abstract entity), (abstract entity has quality superclass), (has quality is a transitive relation)
- violence has quality class ⇐ (abstract entity is a class), (violence has quality abstract entity)
- violence has quality superclass ⇐ (violence has quality abstract entity), (abstract entity has quality superclass), (has quality is a transitive relation)
- violence has quality taxonomic rank ⇐ (violence has quality abstract entity), (abstract entity has quality taxonomic rank), (has quality is a transitive relation)
- violence has quality abstract entity ⇐ (type is a abstract entity), (violence has quality type)
- violence is subclass of philosophical movement ⇐ (nonviolence is subclass of philosophical movement), (nonviolence is opposite of violence)
- violence has quality entity ⇐ (type is a entity), (violence has quality type)
- violence has quality type ⇐ (violence is subclass of object), (object has quality type)
- violence has quality type of object ⇐ (violence is subclass of object), (object has quality type of object)
- violence has quality existence ⇐ (violence is subclass of entity), (entity has quality existence)
- philosophical movement is for example violence ⇐ (violence is a philosophical movement), (is a is inverse of is for example)
- violence is a philosophical movement ⇐ (nonviolence is a philosophical movement), (nonviolence is opposite of violence)
- topic is for example violence ⇐ (violence is a topic), (is a is inverse of is for example)
- violence is subclass of entity ⇐ (violence is subclass of object), (object is subclass of entity), (is subclass of is a transitive relation)
- violence is subclass of occurrence ⇐ (violence is subclass of aggression), (aggression is subclass of occurrence), (is subclass of is a transitive relation)
- violence is subclass of occurrent ⇐ (violence is subclass of aggression), (aggression is subclass of occurrent), (is subclass of is a transitive relation)
- violence is subclass of object ⇐ (violence is subclass of aggression), (aggression is subclass of object), (is subclass of is a transitive relation)
- violence is subclass of spatio-temporal entity ⇐ (violence is subclass of aggression), (aggression is subclass of spatio-temporal entity), (is subclass of is a transitive relation)
- battle is subclass of violence ⇐ (battle is subclass of combat), (combat is subclass of violence), (is subclass of is a transitive relation)
- violence is subclass of action ⇐ (violence is subclass of aggression), (aggression is subclass of action), (is subclass of is a transitive relation)
- battle has quality violence ⇐ (battle is subclass of combat), (combat has quality violence)