Deductions
- negation has quality superclass ⇐ (negation has quality object), (object has quality superclass), (has quality is a transitive relation)
- negation has quality type of object ⇐ (negation has quality object), (object has quality type of object), (has quality is a transitive relation)
- negation has quality type ⇐ (negation has quality object), (object has quality type), (has quality is a transitive relation)
- negation has quality taxonomic rank ⇐ (negation has quality object), (object has quality taxonomic rank), (has quality is a transitive relation)
- negation has quality class ⇐ (quality is a class), (negation has quality quality)
- negation has quality existence ⇐ (negation has quality entity), (entity has quality existence), (has quality is a transitive relation)
- negation has quality entity ⇐ (property is a entity), (negation has quality property)
- negation has quality abstract entity ⇐ (metaclass is subclass of abstract entity), (negation has quality metaclass)
- negation has quality class ⇐ (type of property is a class), (negation has quality type of property)
- negation has quality aptitude ⇐ (negation has quality agent), (agent has quality aptitude), (has quality is a transitive relation)
- negation has quality agency ⇐ (negation has quality agent), (agent has quality agency), (has quality is a transitive relation)
- negation has quality property ⇐ (negation has quality metaclass), (metaclass has quality property), (has quality is a transitive relation)
- negation has quality quality ⇐ (negation has quality metaclass), (metaclass has quality quality), (has quality is a transitive relation)
- negation has quality type of property ⇐ (negation has quality metaclass), (metaclass has quality type of property), (has quality is a transitive relation)
- negation has quality criterion ⇐ (negation has quality metaclass), (metaclass has quality criterion), (has quality is a transitive relation)
- negation is subclass of entity ⇐ (negation is subclass of object), (object is subclass of entity), (is subclass of is a transitive relation)
- negation is subclass of spatio-temporal entity ⇐ (negation is subclass of action), (action is subclass of spatio-temporal entity), (is subclass of is a transitive relation)
- negation is subclass of object ⇐ (negation is subclass of action), (action is subclass of object), (is subclass of is a transitive relation)
- negation is subclass of occurrent ⇐ (negation is subclass of action), (action is subclass of occurrent), (is subclass of is a transitive relation)
- negation is subclass of occurrence ⇐ (negation is subclass of action), (action is subclass of occurrence), (is subclass of is a transitive relation)
- negation has quality metaclass ⇐ (BFO class is a metaclass), (negation has quality BFO class)
- negation has quality BFO class ⇐ (independent continuant is a BFO class), (negation has quality independent continuant)
- negation has quality object ⇐ (spatio-temporal entity is subclass of object), (negation has quality spatio-temporal entity)
- negation has quality spatio-temporal entity ⇐ (temporal entity is subclass of spatio-temporal entity), (negation has quality temporal entity)
- negation has quality continuant ⇐ (independent continuant is subclass of continuant), (negation has quality independent continuant)
- negation has quality independent continuant ⇐ (agent is subclass of independent continuant), (negation has quality agent)
- negation has quality temporal entity ⇐ (point in time is subclass of temporal entity), (negation has quality point in time)
- negation has quality agent ⇐ (negation is subclass of action), (action has quality agent)
- negation has quality point in time ⇐ (negation is subclass of action), (action has quality point in time)