Deductions
- social position is for example algebraist ⇐ (algebraist is a social position), (is a is inverse of is for example)
- algebraist is a social position ⇐ (profession is subclass of social position), (algebraist is a profession)
- algebraist has quality quality ⇐ (algebraist is a property), (property has quality quality)
- algebraist has quality criterion ⇐ (algebraist is a property), (property has quality criterion)
- algebraist has quality abstract entity ⇐ (algebraist is a property), (property has quality abstract entity)
- algebraist has quality type ⇐ (algebraist is a property), (property has quality type)
- algebraist has quality type of property ⇐ (algebraist is a property), (property has quality type of property)
- algebraist has quality class ⇐ (algebraist is a property), (property has quality class)
- algebraist has quality existence ⇐ (algebraist is a class), (class has quality existence)
- algebraist has quality entity ⇐ (algebraist is a class), (class has quality entity)
- algebraist has quality taxonomic rank ⇐ (algebraist is a class), (class has quality taxonomic rank)
- algebraist has quality superclass ⇐ (algebraist is a class), (class has quality superclass)
- entity is for example algebraist ⇐ (algebraist is a entity), (is a is inverse of is for example)
- abstract entity is for example algebraist ⇐ (algebraist is a abstract entity), (is a is inverse of is for example)
- property is for example algebraist ⇐ (algebraist is a property), (is a is inverse of is for example)
- class is for example algebraist ⇐ (algebraist is a class), (is a is inverse of is for example)
- algebraist is a class ⇐ (abstract entity is subclass of class), (algebraist is a abstract entity)
- algebraist is a abstract entity ⇐ (profession is subclass of abstract entity), (algebraist is a profession)
- algebraist is a property ⇐ (profession is subclass of property), (algebraist is a profession)
- algebraist is a entity ⇐ (profession is subclass of entity), (algebraist is a profession)
- profession is for example algebraist ⇐ (algebraist is a profession), (is a is inverse of is for example)
- algebraist is subclass of researcher ⇐ (algebraist is subclass of scientist), (scientist is subclass of researcher), (is subclass of is a transitive relation)
- algebraist is subclass of scientist ⇐ (algebraist is subclass of mathematician), (mathematician is subclass of scientist), (is subclass of is a transitive relation)