Deductions
- position is for example State President of South Africa ⇐ (State President of South Africa is a position), (is a is inverse of is for example)
- State President of South Africa is subclass of person ⇐ (State President of South Africa is subclass of professional), (professional is subclass of person), (is subclass of is a transitive relation)
- State President of South Africa is subclass of person with an activity ⇐ (State President of South Africa is subclass of politician), (politician is subclass of person with an activity), (is subclass of is a transitive relation)
- State President of South Africa is subclass of worker ⇐ (State President of South Africa is subclass of politician), (politician is subclass of worker), (is subclass of is a transitive relation)
- State President of South Africa is subclass of professional ⇐ (State President of South Africa is subclass of politician), (politician is subclass of professional), (is subclass of is a transitive relation)
- State President of South Africa is subclass of politician ⇐ (State President of South Africa is subclass of president), (president is subclass of politician), (is subclass of is a transitive relation)