Deductions
- president has quality existence ⇐ (president has quality type of property), (type of property has quality existence), (has quality is a transitive relation)
- president has quality class ⇐ (president has quality role), (role has quality class), (has quality is a transitive relation)
- president has quality type of property ⇐ (president has quality role), (role has quality type of property), (has quality is a transitive relation)
- president has quality criterion ⇐ (president has quality role), (role has quality criterion), (has quality is a transitive relation)
- president has quality quality ⇐ (president has quality role), (role has quality quality), (has quality is a transitive relation)
- president has quality type ⇐ (president has quality role), (role has quality type), (has quality is a transitive relation)
- president has quality superclass ⇐ (president has quality role), (role has quality superclass), (has quality is a transitive relation)
- president has quality taxonomic rank ⇐ (president has quality role), (role has quality taxonomic rank), (has quality is a transitive relation)
- president has quality relative quality ⇐ (president has quality role), (role has quality relative quality), (has quality is a transitive relation)
- president has quality role ⇐ (professionalism is subclass of role), (president has quality professionalism)
- president has quality social position ⇐ (professionalism is subclass of social position), (president has quality professionalism)
- president has quality class ⇐ (abstract entity is a class), (president has quality abstract entity)
- president has quality type of object ⇐ (abstract entity is a type of object), (president has quality abstract entity)
- president has quality metaclass ⇐ (professionalism is a metaclass), (president has quality professionalism)
- position is for example president ⇐ (president is a position), (is a is inverse of is for example)
- president is subclass of person with an activity ⇐ (president is subclass of politician), (politician is subclass of person with an activity), (is subclass of is a transitive relation)
- president is subclass of professional ⇐ (president is subclass of politician), (politician is subclass of professional), (is subclass of is a transitive relation)
- president is subclass of worker ⇐ (president is subclass of politician), (politician is subclass of worker), (is subclass of is a transitive relation)
- president has quality entity ⇐ (abstract entity is subclass of entity), (president has quality abstract entity)
- president has quality abstract entity ⇐ (property is subclass of abstract entity), (president has quality property)
- president has quality property ⇐ (professionalism is subclass of property), (president has quality professionalism)
- president has quality professionalism ⇐ (president is subclass of politician), (politician has quality professionalism)