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