battle

Deductions

• battle has quality existence ⇐ (battle has quality class), (class has quality existence), (has quality is a transitive relation)
• battle has quality existence ⇐ (battle has quality class), (class has quality existence), (has quality is a transitive relation)
• battle has quality class ⇐ (philosophical movement is a class), (battle has quality philosophical movement)
• battle has quality object ⇐ (violence is subclass of object), (battle has quality violence)
• battle has quality abstract entity ⇐ (metaclass is subclass of abstract entity), (battle has quality metaclass)
• battle has quality entity ⇐ (violence is subclass of entity), (battle has quality violence)
• battle has quality class ⇐ (type of property is a class), (battle has quality type of property)
• battle has quality philosophical movement ⇐ (violence is a philosophical movement), (battle has quality violence)
• battle is for example Battle of Carillon ⇐ (Battle of Carillon is a battle), (is a is inverse of is for example)
• battle has quality arity ⇐ (battle has quality relation), (relation has quality arity), (has quality is a transitive relation)
• battle has quality number of entities ⇐ (battle has quality relation), (relation has quality number of entities), (has quality is a transitive relation)
• battle has quality mathematical property ⇐ (battle has quality mathematical object), (mathematical object has quality mathematical property), (has quality is a transitive relation)
• battle has quality relation ⇐ (battle has quality mathematical object), (mathematical object has quality relation), (has quality is a transitive relation)
• battle has quality quality ⇐ (battle has quality topic), (topic has quality quality), (has quality is a transitive relation)
• battle has quality information quality ⇐ (battle has quality topic), (topic has quality information quality), (has quality is a transitive relation)
• battle has quality type ⇐ (battle has quality quality), (quality has quality type), (has quality is a transitive relation)
• battle has quality type of property ⇐ (battle has quality quality), (quality has quality type of property), (has quality is a transitive relation)
• battle has quality superclass ⇐ (battle has quality quality), (quality has quality superclass), (has quality is a transitive relation)
• battle has quality taxonomic rank ⇐ (battle has quality quality), (quality has quality taxonomic rank), (has quality is a transitive relation)
• battle has quality criterion ⇐ (battle has quality BFO class), (BFO class has quality criterion), (has quality is a transitive relation)
• battle has quality property ⇐ (battle has quality BFO class), (BFO class has quality property), (has quality is a transitive relation)
• battle has quality class ⇐ (battle has quality philosophical concept), (philosophical concept has quality class), (has quality is a transitive relation)
• battle has quality set ⇐ (battle has quality philosophical concept), (philosophical concept has quality set), (has quality is a transitive relation)
• battle has quality mathematical object ⇐ (battle has quality philosophical concept), (philosophical concept has quality mathematical object), (has quality is a transitive relation)
• battle has quality extension of a concept ⇐ (battle has quality philosophical concept), (philosophical concept has quality extension of a concept), (has quality 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)
• battle is subclass of action ⇐ (battle is subclass of violence), (violence is subclass of action), (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)
• battle has quality metaclass ⇐ (BFO class is a metaclass), (battle has quality BFO class)
• battle has quality philosophical concept ⇐ (action is a philosophical concept), (battle has quality action)
• battle has quality BFO class ⇐ (occurrent is a BFO class), (battle has quality occurrent)
• battle has quality quality ⇐ (topic is a quality), (battle has quality topic)
• battle has quality topic ⇐ (violence is a topic), (battle has quality violence)
• battle has quality occurrent ⇐ (occurrence is subclass of occurrent), (battle has quality occurrence)
• battle has quality occurrence ⇐ (action is subclass of occurrence), (battle has quality action)
• battle has quality action ⇐ (aggression is subclass of action), (battle has quality aggression)
• battle has quality aggression ⇐ (violence is subclass of aggression), (battle has quality violence)
• battle has quality violence ⇐ (battle is subclass of combat), (combat has quality violence)