Deductions
- combat has quality class ⇐ (philosophical movement is a class), (combat has quality philosophical movement)
- combat has quality abstract entity ⇐ (metaclass is subclass of abstract entity), (combat has quality metaclass)
- combat has quality entity ⇐ (violence is subclass of entity), (combat has quality violence)
- combat has quality class ⇐ (type of property is a class), (combat has quality type of property)
- combat has quality philosophical movement ⇐ (violence is a philosophical movement), (combat has quality violence)
- combat has quality agency ⇐ (combat is subclass of action), (action has quality agency)
- combat has quality agent ⇐ (combat is subclass of action), (action has quality agent)
- combat has quality aptitude ⇐ (combat is subclass of action), (action has quality aptitude)
- combat has quality independent continuant ⇐ (combat is subclass of action), (action has quality independent continuant)
- combat has quality continuant ⇐ (combat is subclass of action), (action has quality continuant)
- combat has quality spatio-temporal entity ⇐ (combat is subclass of occurrence), (occurrence has quality spatio-temporal entity)
- combat has quality temporal entity ⇐ (combat is subclass of occurrence), (occurrence has quality temporal entity)
- combat has quality object ⇐ (combat is subclass of occurrence), (occurrence has quality object)
- combat has quality point in time ⇐ (combat is subclass of occurrence), (occurrence has quality point in time)
- combat has quality impermanence ⇐ (combat is subclass of occurrence), (occurrence has quality impermanence)
- combat has quality type of object ⇐ (combat is subclass of object), (object has quality type of object)
- combat has quality existence ⇐ (combat is subclass of object), (object has quality existence)
- combat has quality mathematical property ⇐ (combat has quality mathematical object), (mathematical object has quality mathematical property), (has quality is a transitive relation)
- combat has quality relation ⇐ (combat has quality mathematical object), (mathematical object has quality relation), (has quality is a transitive relation)
- combat has quality quality ⇐ (combat has quality topic), (topic has quality quality), (has quality is a transitive relation)
- combat has quality information quality ⇐ (combat has quality topic), (topic has quality information quality), (has quality is a transitive relation)
- combat has quality type ⇐ (combat has quality quality), (quality has quality type), (has quality is a transitive relation)
- combat has quality superclass ⇐ (combat has quality quality), (quality has quality superclass), (has quality is a transitive relation)
- combat has quality taxonomic rank ⇐ (combat has quality quality), (quality has quality taxonomic rank), (has quality is a transitive relation)
- combat has quality class ⇐ (combat has quality philosophical concept), (philosophical concept has quality class), (has quality is a transitive relation)
- combat has quality set ⇐ (combat has quality philosophical concept), (philosophical concept has quality set), (has quality is a transitive relation)
- combat has quality mathematical object ⇐ (combat has quality philosophical concept), (philosophical concept has quality mathematical object), (has quality is a transitive relation)
- combat has quality extension of a concept ⇐ (combat has quality philosophical concept), (philosophical concept has quality extension of a concept), (has quality is a transitive relation)
- combat has quality property ⇐ (combat has quality metaclass), (metaclass has quality property), (has quality is a transitive relation)
- combat has quality type of property ⇐ (combat has quality metaclass), (metaclass has quality type of property), (has quality is a transitive relation)
- combat has quality criterion ⇐ (combat has quality metaclass), (metaclass has quality criterion), (has quality is a transitive relation)
- combat is subclass of entity ⇐ (combat is subclass of violence), (violence is subclass of entity), (is subclass of is a transitive relation)
- combat is subclass of object ⇐ (combat is subclass of violence), (violence is subclass of object), (is subclass of is a transitive relation)
- combat is subclass of aggression ⇐ (combat is subclass of violence), (violence is subclass of aggression), (is subclass of is a transitive relation)
- combat is subclass of occurrence ⇐ (combat is subclass of violence), (violence is subclass of occurrence), (is subclass of is a transitive relation)
- combat is subclass of action ⇐ (combat is subclass of violence), (violence is subclass of action), (is subclass of is a transitive relation)
- combat is subclass of occurrent ⇐ (combat is subclass of violence), (violence is subclass of occurrent), (is subclass of is a transitive relation)
- combat is subclass of spatio-temporal entity ⇐ (combat is subclass of violence), (violence is subclass of spatio-temporal entity), (is subclass of is a transitive relation)
- combat has quality metaclass ⇐ (BFO class is a metaclass), (combat has quality BFO class)
- combat has quality philosophical concept ⇐ (action is a philosophical concept), (combat has quality action)
- combat has quality BFO class ⇐ (occurrent is a BFO class), (combat has quality occurrent)
- combat has quality quality ⇐ (topic is a quality), (combat has quality topic)
- combat has quality topic ⇐ (violence is a topic), (combat has quality violence)
- combat has quality occurrent ⇐ (occurrence is subclass of occurrent), (combat has quality occurrence)
- combat has quality occurrence ⇐ (action is subclass of occurrence), (combat has quality action)
- combat has quality action ⇐ (aggression is subclass of action), (combat has quality aggression)
- combat has quality aggression ⇐ (violence is subclass of aggression), (combat has quality violence)