Deductions
- transposition has quality entity ⇐ (type is a entity), (transposition has quality type)
- transposition has quality class ⇐ (type of property is subclass of class), (transposition has quality type of property)
- transposition has quality abstract entity ⇐ (metaclass is subclass of abstract entity), (transposition has quality metaclass)
- transposition has quality class ⇐ (type of property is a class), (transposition has quality type of property)
- transposition has quality type ⇐ (transposition has quality object), (object has quality type), (has quality is a transitive relation)
- transposition has quality existence ⇐ (transposition has quality object), (object has quality existence), (has quality is a transitive relation)
- transposition has quality type of object ⇐ (transposition has quality object), (object has quality type of object), (has quality is a transitive relation)
- transposition has quality property ⇐ (transposition has quality metaclass), (metaclass has quality property), (has quality is a transitive relation)
- transposition has quality quality ⇐ (transposition has quality metaclass), (metaclass has quality quality), (has quality is a transitive relation)
- transposition has quality type of property ⇐ (transposition has quality metaclass), (metaclass has quality type of property), (has quality is a transitive relation)
- transposition has quality criterion ⇐ (transposition has quality metaclass), (metaclass has quality criterion), (has quality is a transitive relation)
- transposition has quality metaclass ⇐ (BFO class is a metaclass), (transposition has quality BFO class)
- transposition has quality BFO class ⇐ (independent continuant is a BFO class), (transposition has quality independent continuant)
- transposition has quality object ⇐ (spatio-temporal entity is subclass of object), (transposition has quality spatio-temporal entity)
- transposition has quality spatio-temporal entity ⇐ (temporal entity is subclass of spatio-temporal entity), (transposition has quality temporal entity)
- transposition has quality continuant ⇐ (independent continuant is subclass of continuant), (transposition has quality independent continuant)
- transposition has quality independent continuant ⇐ (agent is subclass of independent continuant), (transposition has quality agent)
- transposition has quality temporal entity ⇐ (point in time is subclass of temporal entity), (transposition has quality point in time)
- transposition has quality agent ⇐ (transposition is subclass of action), (action has quality agent)
- transposition has quality point in time ⇐ (transposition is subclass of action), (action has quality point in time)