Deductions
- social position is for example philosopher of language ⇐ (philosopher of language is a social position), (is a is inverse of is for example)
- philosopher of language is a social position ⇐ (profession is subclass of social position), (philosopher of language is a profession)
- philosopher of language has quality class ⇐ (philosopher of language is a entity), (entity has quality class)
- philosopher of language has quality existence ⇐ (philosopher of language is a class), (class has quality existence)
- philosopher of language has quality entity ⇐ (philosopher of language is a class), (class has quality entity)
- philosopher of language has quality taxonomic rank ⇐ (philosopher of language is a class), (class has quality taxonomic rank)
- philosopher of language has quality superclass ⇐ (philosopher of language is a class), (class has quality superclass)
- property is for example philosopher of language ⇐ (philosopher of language is a property), (is a is inverse of is for example)
- abstract entity is for example philosopher of language ⇐ (philosopher of language is a abstract entity), (is a is inverse of is for example)
- entity is for example philosopher of language ⇐ (philosopher of language is a entity), (is a is inverse of is for example)
- class is for example philosopher of language ⇐ (philosopher of language is a class), (is a is inverse of is for example)
- philosopher of language is a class ⇐ (abstract entity is subclass of class), (philosopher of language is a abstract entity)
- philosopher of language is a abstract entity ⇐ (profession is subclass of abstract entity), (philosopher of language is a profession)
- philosopher of language is a property ⇐ (profession is subclass of property), (philosopher of language is a profession)
- philosopher of language is a entity ⇐ (profession is subclass of entity), (philosopher of language is a profession)
- profession is for example philosopher of language ⇐ (philosopher of language is a profession), (is a is inverse of is for example)