Deductions
- qualification has quality class ⇐ (existence is a class), (qualification has quality existence)
- qualification has quality entity ⇐ (taxonomic rank is a entity), (qualification has quality taxonomic rank)
- qualification has quality existence ⇐ (qualification is subclass of abstract entity), (abstract entity has quality existence)
- qualification has quality superclass ⇐ (qualification is subclass of abstract entity), (abstract entity has quality superclass)
- qualification has quality taxonomic rank ⇐ (qualification is subclass of abstract entity), (abstract entity has quality taxonomic rank)
- qualification is for example specialist degree ⇐ (specialist degree is a qualification), (is a is inverse of is for example)
- qualification is subclass of abstract entity ⇐ (qualification is subclass of property), (property is subclass of abstract entity), (is subclass of is a transitive relation)
- qualification is subclass of entity ⇐ (qualification is subclass of property), (property is subclass of entity), (is subclass of is a transitive relation)
- qualification is subclass of property ⇐ (qualification is subclass of quality), (quality is subclass of property), (is subclass of is a transitive relation)
- engineer has quality qualification ⇐ (specialist degree is a qualification), (engineer has quality specialist degree)
- inventor has quality qualification ⇐ (specialist degree is a qualification), (inventor has quality specialist degree)