Deductions
- class is for example theatrical occupation ⇐ (theatrical occupation is a class), (is a is inverse of is for example)
- theatrical occupation is a class ⇐ (abstract entity is subclass of class), (theatrical occupation is a abstract entity)
- abstract entity is for example theatrical occupation ⇐ (theatrical occupation is a abstract entity), (is a is inverse of is for example)
- theatrical occupation has quality superclass ⇐ (theatrical occupation has quality abstract entity), (abstract entity has quality superclass), (has quality is a transitive relation)
- theatrical occupation has quality taxonomic rank ⇐ (theatrical occupation has quality abstract entity), (abstract entity has quality taxonomic rank), (has quality is a transitive relation)
- theatrical occupation is a abstract entity ⇐ (metaclass is subclass of abstract entity), (theatrical occupation is a metaclass)
- theatrical occupation has quality abstract entity ⇐ (knowledge system is a abstract entity), (theatrical occupation has quality knowledge system)
- theatrical occupation has quality class ⇐ (conceptual system is a class), (theatrical occupation has quality conceptual system)
- theatrical occupation has quality entity ⇐ (conceptual system is a entity), (theatrical occupation has quality conceptual system)
- entity is for example theatrical occupation ⇐ (theatrical occupation is a entity), (is a is inverse of is for example)
- theatrical occupation has quality existence ⇐ (theatrical occupation is a entity), (entity has quality existence)
- theatrical occupation is a entity ⇐ (metaclass is subclass of entity), (theatrical occupation is a metaclass)
- theatrical occupation is for example dramaturge ⇐ (dramaturge is a theatrical occupation), (is a is inverse of is for example)
- metaclass is for example theatrical occupation ⇐ (theatrical occupation is a metaclass), (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)
- theatrical occupation has quality quality ⇐ (theatrical occupation has quality field of study), (field of study has quality quality), (has quality is a transitive relation)
- theatrical occupation has quality topic ⇐ (theatrical occupation has quality field of study), (field of study has quality topic), (has quality is a transitive relation)
- theatrical occupation is subclass of occupation ⇐ (theatrical occupation is subclass of profession), (profession is subclass of occupation), (is subclass of is a transitive relation)
- theatrical occupation has quality type of system ⇐ (conceptual system is a type of system), (theatrical occupation has quality conceptual system)
- theatrical occupation has quality conceptual system ⇐ (knowledge system is subclass of conceptual system), (theatrical occupation has quality knowledge system)
- theatrical occupation has quality knowledge system ⇐ (field of study is subclass of knowledge system), (theatrical occupation has quality field of study)
- theatrical occupation has quality field of study ⇐ (theatrical occupation is subclass of profession), (profession has quality field of study)