Deductions
- scientist has quality absence ⇐ (work is subclass of absence), (scientist has quality work)
- scientist has quality phenomenon ⇐ (work is subclass of phenomenon), (scientist has quality work)
- scientist has quality condition ⇐ (work is subclass of condition), (scientist has quality work)
- social position is for example scientist ⇐ (scientist is a social position), (is a is inverse of is for example)
- scientist is a social position ⇐ (profession is subclass of social position), (scientist is a profession)
- property is for example scientist ⇐ (scientist is a property), (is a is inverse of is for example)
- entity is for example scientist ⇐ (scientist is a entity), (is a is inverse of is for example)
- abstract entity is for example scientist ⇐ (scientist is a abstract entity), (is a is inverse of is for example)
- class is for example scientist ⇐ (scientist is a class), (is a is inverse of is for example)
- scientist is a class ⇐ (abstract entity is subclass of class), (scientist is a abstract entity)
- scientist is a abstract entity ⇐ (profession is subclass of abstract entity), (scientist is a profession)
- scientist is a property ⇐ (profession is subclass of property), (scientist is a profession)
- scientist is a entity ⇐ (profession is subclass of entity), (scientist is a profession)
- scientist has quality authority file ⇐ (industry classification is a authority file), (scientist has quality industry classification)
- scientist has quality existence ⇐ (scientist has quality abstract entity), (abstract entity has quality existence), (has quality is a transitive relation)
- scientist has quality superclass ⇐ (scientist has quality abstract entity), (abstract entity has quality superclass), (has quality is a transitive relation)
- scientist has quality taxonomic rank ⇐ (scientist has quality abstract entity), (abstract entity has quality taxonomic rank), (has quality is a transitive relation)
- scientist has quality controlled vocabulary ⇐ (industry classification is a controlled vocabulary), (scientist has quality industry classification)
- scientist has quality abstract entity ⇐ (knowledge system is a abstract entity), (scientist has quality knowledge system)
- scientist has quality class ⇐ (conceptual system is a class), (scientist has quality conceptual system)
- scientist has quality entity ⇐ (conceptual system is a entity), (scientist has quality conceptual system)
- profession is for example scientist ⇐ (scientist is a profession), (is a is inverse of is for example)
- scientist has quality knowledge system ⇐ (scientist is a profession), (profession has quality knowledge system)
- scientist has quality economic activity ⇐ (scientist is a profession), (profession has quality economic activity)
- scientist has quality work ⇐ (scientist is a profession), (profession has quality work)
- scientist has quality conceptual system ⇐ (scientist is a profession), (profession has quality conceptual system)
- scientist has quality topic ⇐ (scientist is a profession), (profession has quality topic)
- scientist has quality field of study ⇐ (scientist is a profession), (profession has quality field of study)
- scientist has quality type of system ⇐ (scientist is a profession), (profession has quality type of system)
- scientist has quality industry classification ⇐ (scientist is a profession), (profession has quality industry classification)
- scientist has quality quality ⇐ (scientist is a profession), (profession has quality quality)
- algebraist is subclass of scientist ⇐ (algebraist is subclass of mathematician), (mathematician is subclass of scientist), (is subclass of is a transitive relation)
- logician is subclass of scientist ⇐ (logician is subclass of mathematician), (mathematician is subclass of scientist), (is subclass of is a transitive relation)