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