Deductions
- profession class by field of work has part class ⇐ (entity is a class), (profession class by field of work has part entity)
- profession class by field of work has quality abstract entity ⇐ (type is a abstract entity), (profession class by field of work has quality type)
- second-order class is for example profession class by field of work ⇐ (profession class by field of work is a second-order class), (is a is inverse of is for example)
- profession class by field of work has quality entity ⇐ (taxonomic rank is a entity), (profession class by field of work has quality taxonomic rank)
- profession class by field of work has quality class ⇐ (type of property is subclass of class), (profession class by field of work has quality type of property)
- profession class by field of work has quality type ⇐ (profession class by field of work is subclass of class), (class has quality type)
- profession class by field of work has quality superclass ⇐ (profession class by field of work is subclass of class), (class has quality superclass)
- profession class by field of work has quality taxonomic rank ⇐ (profession class by field of work is subclass of class), (class has quality taxonomic rank)
- profession class by field of work has quality property ⇐ (profession class by field of work is subclass of class), (class has quality property)
- profession class by field of work has quality quality ⇐ (profession class by field of work is subclass of class), (class has quality quality)
- profession class by field of work has quality criterion ⇐ (profession class by field of work is subclass of class), (class has quality criterion)
- profession class by field of work has quality existence ⇐ (profession class by field of work is subclass of class), (class has quality existence)
- profession class by field of work has quality type of property ⇐ (profession class by field of work is subclass of class), (class has quality type of property)
- profession class by field of work has part entity ⇐ (profession class by field of work is subclass of class), (class has part entity)
- profession class by field of work has part variable-order class ⇐ (profession class by field of work is subclass of class), (class has part variable-order class)
- profession class by field of work is for example legal profession ⇐ (legal profession is a profession class by field of work), (is a is inverse of is for example)