Deductions
- social position is for example playwright ⇐ (playwright is a social position), (is a is inverse of is for example)
- playwright is a social position ⇐ (profession is subclass of social position), (playwright is a profession)
- playwright has quality quality ⇐ (playwright is a property), (property has quality quality)
- playwright has quality criterion ⇐ (playwright is a property), (property has quality criterion)
- playwright has quality abstract entity ⇐ (playwright is a property), (property has quality abstract entity)
- playwright has quality type ⇐ (playwright is a property), (property has quality type)
- playwright has quality type of property ⇐ (playwright is a property), (property has quality type of property)
- playwright has quality class ⇐ (playwright is a property), (property has quality class)
- playwright has quality existence ⇐ (playwright is a abstract entity), (abstract entity has quality existence)
- playwright has quality superclass ⇐ (playwright is a abstract entity), (abstract entity has quality superclass)
- playwright has quality taxonomic rank ⇐ (playwright is a abstract entity), (abstract entity has quality taxonomic rank)
- playwright has quality entity ⇐ (playwright is a abstract entity), (abstract entity has quality entity)
- class is for example playwright ⇐ (playwright is a class), (is a is inverse of is for example)
- entity is for example playwright ⇐ (playwright is a entity), (is a is inverse of is for example)
- property is for example playwright ⇐ (playwright is a property), (is a is inverse of is for example)
- abstract entity is for example playwright ⇐ (playwright is a abstract entity), (is a is inverse of is for example)
- playwright is a class ⇐ (abstract entity is subclass of class), (playwright is a abstract entity)
- playwright is a abstract entity ⇐ (profession is subclass of abstract entity), (playwright is a profession)
- playwright is a property ⇐ (profession is subclass of property), (playwright is a profession)
- playwright is a entity ⇐ (profession is subclass of entity), (playwright is a profession)
- profession is for example playwright ⇐ (playwright is a profession), (is a is inverse of is for example)
- theatrical occupation is for example playwright ⇐ (playwright is a theatrical occupation), (is a is inverse of is for example)
- playwright is subclass of creator ⇐ (playwright is subclass of creator), (creator is subclass of creator), (is subclass of is a transitive relation)
- playwright is subclass of creator ⇐ (playwright is subclass of author), (author is subclass of creator), (is subclass of is a transitive relation)
- playwright is subclass of author ⇐ (playwright is subclass of writer), (writer is subclass of author), (is subclass of is a transitive relation)
- playwright is a profession ⇐ (theatrical occupation is subclass of profession), (playwright is a theatrical occupation)