Deductions
- researcher has quality class ⇐ (abstract entity is a class), (researcher has quality abstract entity)
- researcher has quality entity ⇐ (researcher has quality abstract entity), (abstract entity has quality entity), (has quality is a transitive relation)
- researcher has quality existence ⇐ (researcher has quality abstract entity), (abstract entity has quality existence), (has quality is a transitive relation)
- researcher has quality superclass ⇐ (researcher has quality abstract entity), (abstract entity has quality superclass), (has quality is a transitive relation)
- researcher has quality taxonomic rank ⇐ (researcher has quality abstract entity), (abstract entity has quality taxonomic rank), (has quality is a transitive relation)
- researcher has quality legal concept ⇐ (duty is subclass of legal concept), (researcher has quality duty)
- researcher has quality abstract entity ⇐ (duty is subclass of abstract entity), (researcher has quality duty)
- researcher has quality concept ⇐ (duty is subclass of concept), (researcher has quality duty)
- position is for example researcher ⇐ (researcher is a position), (is a is inverse of is for example)
- researcher has quality duty ⇐ (researcher is a position), (position has quality duty)
- researcher has quality principle ⇐ (researcher is a position), (position has quality principle)
- researcher has quality job duty ⇐ (researcher is a position), (position has quality job duty)
- algebraist is subclass of researcher ⇐ (algebraist is subclass of scientist), (scientist is subclass of researcher), (is subclass of is a transitive relation)
- logician is subclass of researcher ⇐ (logician is subclass of mathematician), (mathematician is subclass of researcher), (is subclass of is a transitive relation)
- mathematician is subclass of researcher ⇐ (mathematician is subclass of scientist), (scientist is subclass of researcher), (is subclass of is a transitive relation)