Deductions
- social position is for example mathematician ⇐ (mathematician is a social position), (is a is inverse of is for example)
- mathematician is a social position ⇐ (profession is subclass of social position), (mathematician is a profession)
- mathematician has quality existence ⇐ (mathematician is a property), (property has quality existence)
- mathematician has quality entity ⇐ (mathematician is a property), (property has quality entity)
- mathematician has quality quality ⇐ (mathematician is a property), (property has quality quality)
- mathematician has quality criterion ⇐ (mathematician is a property), (property has quality criterion)
- mathematician has quality abstract entity ⇐ (mathematician is a property), (property has quality abstract entity)
- mathematician has quality type ⇐ (mathematician is a property), (property has quality type)
- mathematician has quality superclass ⇐ (mathematician is a property), (property has quality superclass)
- mathematician has quality type of property ⇐ (mathematician is a property), (property has quality type of property)
- mathematician has quality taxonomic rank ⇐ (mathematician is a property), (property has quality taxonomic rank)
- mathematician has quality class ⇐ (mathematician is a property), (property has quality class)
- abstract entity is for example mathematician ⇐ (mathematician is a abstract entity), (is a is inverse of is for example)
- entity is for example mathematician ⇐ (mathematician is a entity), (is a is inverse of is for example)
- property is for example mathematician ⇐ (mathematician is a property), (is a is inverse of is for example)
- mathematician is a abstract entity ⇐ (profession is subclass of abstract entity), (mathematician is a profession)
- mathematician is a property ⇐ (profession is subclass of property), (mathematician is a profession)
- mathematician is a entity ⇐ (profession is subclass of entity), (mathematician is a profession)
- profession is for example mathematician ⇐ (mathematician is a profession), (is a is inverse of is for example)
- mathematician is subclass of academic professional ⇐ (mathematician is subclass of researcher), (researcher is subclass of academic professional), (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)