Deductions
- unnatural death has quality class ⇐ (abstract entity is a class), (unnatural death has quality abstract entity)
- unnatural death has quality abstract entity ⇐ (type is a abstract entity), (unnatural death has quality type)
- unnatural death has quality entity ⇐ (taxonomic rank is a entity), (unnatural death has quality taxonomic rank)
- entity is for example unnatural death ⇐ (unnatural death is a entity), (is a is inverse of is for example)
- abstract entity is for example unnatural death ⇐ (unnatural death is a abstract entity), (is a is inverse of is for example)
- unnatural death has quality superclass ⇐ (unnatural death is a class), (class has quality superclass)
- unnatural death has quality taxonomic rank ⇐ (unnatural death is a class), (class has quality taxonomic rank)
- unnatural death is a class ⇐ (manner of death is subclass of class), (unnatural death is a manner of death)
- unnatural death is a abstract entity ⇐ (manner of death is subclass of abstract entity), (unnatural death is a manner of death)
- unnatural death is a entity ⇐ (manner of death is subclass of entity), (unnatural death is a manner of death)
- manner of death is for example unnatural death ⇐ (unnatural death is a manner of death), (is a is inverse of is for example)
- type is for example unnatural death ⇐ (unnatural death is a type), (is a is inverse of is for example)
- class is for example unnatural death ⇐ (unnatural death is a class), (is a is inverse of is for example)
- unnatural death has quality existence ⇐ (unnatural death has quality object), (object has quality existence), (has quality is a transitive relation)
- unnatural death has quality type of object ⇐ (unnatural death has quality object), (object has quality type of object), (has quality is a transitive relation)
- unnatural death is subclass of spatio-temporal entity ⇐ (unnatural death is subclass of occurrence), (occurrence is subclass of spatio-temporal entity), (is subclass of is a transitive relation)
- unnatural death is subclass of object ⇐ (unnatural death is subclass of occurrence), (occurrence is subclass of object), (is subclass of is a transitive relation)
- unnatural death is subclass of occurrent ⇐ (unnatural death is subclass of occurrence), (occurrence is subclass of occurrent), (is subclass of is a transitive relation)
- unnatural death is subclass of occurrence ⇐ (unnatural death is subclass of death), (death is subclass of occurrence), (is subclass of is a transitive relation)
- unnatural death is a class ⇐ (type is subclass of class), (unnatural death is a type)
- unnatural death is a type ⇐ (manner of death is subclass of type), (unnatural death is a manner of death)
- unnatural death has quality object ⇐ (spatio-temporal entity is subclass of object), (unnatural death has quality spatio-temporal entity)
- unnatural death has quality spatio-temporal entity ⇐ (temporal entity is subclass of spatio-temporal entity), (unnatural death has quality temporal entity)
- unnatural death has quality class ⇐ (type is subclass of class), (unnatural death has quality type)
- unnatural death has quality type ⇐ (manner of death is subclass of type), (unnatural death has quality manner of death)
- unnatural death has quality temporal entity ⇐ (point in time is subclass of temporal entity), (unnatural death has quality point in time)
- unnatural death has quality manner of death ⇐ (unnatural death is subclass of death), (death has quality manner of death)
- unnatural death has quality point in time ⇐ (unnatural death is subclass of death), (death has quality point in time)