Deductions
- social position is for example stage author ⇐ (stage author is a social position), (is a is inverse of is for example)
- stage author is a social position ⇐ (profession is subclass of social position), (stage author is a profession)
- stage author has quality quality ⇐ (stage author is a property), (property has quality quality)
- stage author has quality criterion ⇐ (stage author is a property), (property has quality criterion)
- stage author has quality type ⇐ (stage author is a property), (property has quality type)
- stage author has quality type of property ⇐ (stage author is a property), (property has quality type of property)
- stage author has quality class ⇐ (stage author is a property), (property has quality class)
- class is for example stage author ⇐ (stage author is a class), (is a is inverse of is for example)
- entity is for example stage author ⇐ (stage author is a entity), (is a is inverse of is for example)
- property is for example stage author ⇐ (stage author is a property), (is a is inverse of is for example)
- abstract entity is for example stage author ⇐ (stage author is a abstract entity), (is a is inverse of is for example)
- stage author is a class ⇐ (abstract entity is subclass of class), (stage author is a abstract entity)
- stage author is a abstract entity ⇐ (profession is subclass of abstract entity), (stage author is a profession)
- stage author is a property ⇐ (profession is subclass of property), (stage author is a profession)
- stage author is a entity ⇐ (profession is subclass of entity), (stage author is a profession)
- stage author has quality existence ⇐ (stage author has quality abstract entity), (abstract entity has quality existence), (has quality is a transitive relation)
- stage author has quality superclass ⇐ (stage author has quality abstract entity), (abstract entity has quality superclass), (has quality is a transitive relation)
- stage author has quality taxonomic rank ⇐ (stage author has quality abstract entity), (abstract entity has quality taxonomic rank), (has quality is a transitive relation)
- stage author has quality abstract entity ⇐ (knowledge system is a abstract entity), (stage author has quality knowledge system)
- stage author has quality class ⇐ (conceptual system is a class), (stage author has quality conceptual system)
- stage author has quality entity ⇐ (conceptual system is a entity), (stage author has quality conceptual system)
- profession is for example stage author ⇐ (stage author is a profession), (is a is inverse of is for example)
- stage author has quality type of system ⇐ (conceptual system is a type of system), (stage author has quality conceptual system)
- stage author has quality conceptual system ⇐ (knowledge system is subclass of conceptual system), (stage author has quality knowledge system)
- stage author has quality knowledge system ⇐ (field of study is subclass of knowledge system), (stage author has quality field of study)
- stage author has quality field of study ⇐ (stage author is subclass of theatrical occupation), (theatrical occupation has quality field of study)