Deductions
- social position is for example engineer ⇐ (engineer is a social position), (is a is inverse of is for example)
- engineer is a social position ⇐ (profession is subclass of social position), (engineer is a profession)
- engineer has quality quality ⇐ (engineer is a property), (property has quality quality)
- engineer has quality criterion ⇐ (engineer is a property), (property has quality criterion)
- engineer has quality type ⇐ (engineer is a property), (property has quality type)
- engineer has quality type of property ⇐ (engineer is a property), (property has quality type of property)
- engineer has quality class ⇐ (engineer is a property), (property has quality class)
- engineer has quality class ⇐ (abstract entity is a class), (engineer has quality abstract entity)
- entity is for example engineer ⇐ (engineer is a entity), (is a is inverse of is for example)
- property is for example engineer ⇐ (engineer is a property), (is a is inverse of is for example)
- abstract entity is for example engineer ⇐ (engineer is a abstract entity), (is a is inverse of is for example)
- class is for example engineer ⇐ (engineer is a class), (is a is inverse of is for example)
- engineer is a class ⇐ (abstract entity is subclass of class), (engineer is a abstract entity)
- engineer is a abstract entity ⇐ (profession is subclass of abstract entity), (engineer is a profession)
- engineer is a property ⇐ (profession is subclass of property), (engineer is a profession)
- engineer is a entity ⇐ (profession is subclass of entity), (engineer is a profession)
- engineer has quality entity ⇐ (engineer has quality abstract entity), (abstract entity has quality entity), (has quality is a transitive relation)
- engineer has quality existence ⇐ (engineer has quality abstract entity), (abstract entity has quality existence), (has quality is a transitive relation)
- engineer has quality superclass ⇐ (engineer has quality abstract entity), (abstract entity has quality superclass), (has quality is a transitive relation)
- engineer has quality taxonomic rank ⇐ (engineer has quality abstract entity), (abstract entity has quality taxonomic rank), (has quality is a transitive relation)
- engineer has quality abstract entity ⇐ (specialist degree is a abstract entity), (engineer has quality specialist degree)
- profession is for example engineer ⇐ (engineer is a profession), (is a is inverse of is for example)
- engineer has quality qualification exam ⇐ (engineer has quality qualification), (qualification has quality qualification exam), (has quality is a transitive relation)
- engineer is subclass of person ⇐ (engineer is subclass of worker), (worker is subclass of person), (is subclass of is a transitive relation)
- engineer is subclass of person with an activity ⇐ (engineer is subclass of worker), (worker is subclass of person with an activity), (is subclass of is a transitive relation)
- engineer has quality qualification ⇐ (specialist degree is a qualification), (engineer has quality specialist degree)
- engineer has quality academic title ⇐ (specialist degree is subclass of academic title), (engineer has quality specialist degree)