Deductions
- social position is for example actor ⇐ (actor is a social position), (is a is inverse of is for example)
- actor is a social position ⇐ (profession is subclass of social position), (actor is a profession)
- actor has quality existence ⇐ (actor is a class), (class has quality existence)
- actor has quality entity ⇐ (actor is a class), (class has quality entity)
- actor has quality taxonomic rank ⇐ (actor is a class), (class has quality taxonomic rank)
- actor has quality superclass ⇐ (actor is a class), (class has quality superclass)
- actor has quality class ⇐ (existence is a class), (actor has quality existence)
- property is for example actor ⇐ (actor is a property), (is a is inverse of is for example)
- abstract entity is for example actor ⇐ (actor is a abstract entity), (is a is inverse of is for example)
- class is for example actor ⇐ (actor is a class), (is a is inverse of is for example)
- actor is a class ⇐ (abstract entity is subclass of class), (actor is a abstract entity)
- actor is a abstract entity ⇐ (profession is subclass of abstract entity), (actor is a profession)
- actor is a property ⇐ (profession is subclass of property), (actor is a profession)
- actor is a entity ⇐ (profession is subclass of entity), (actor is a profession)
- entity is for example actor ⇐ (actor is a entity), (is a is inverse of is for example)
- actor is a entity ⇐ (thematic relation is subclass of entity), (actor is a thematic relation)
- actor has quality existence ⇐ (actor is subclass of entity), (entity has quality existence)
- profession is for example actor ⇐ (actor is a profession), (is a is inverse of is for example)
- thematic relation is for example actor ⇐ (actor is a thematic relation), (is a is inverse of is for example)
- actor is subclass of entity ⇐ (actor is subclass of object), (object is subclass of entity), (is subclass of is a transitive relation)
- actor is subclass of object ⇐ (actor is subclass of participant), (participant is subclass of object), (is subclass of is a transitive relation)
- cause of death is subclass of actor ⇐ (cause of death is subclass of cause), (cause is subclass of actor), (is subclass of is a transitive relation)