Deductions
- Prime Minister of the United Kingdom has quality abstract entity ⇐ (type is a abstract entity), (Prime Minister of the United Kingdom has quality type)
- Prime Minister of the United Kingdom has quality class ⇐ (Prime Minister of the United Kingdom has quality concept), (concept has quality class), (has quality is a transitive relation)
- Prime Minister of the United Kingdom has quality mathematical property ⇐ (Prime Minister of the United Kingdom has quality concept), (concept has quality mathematical property), (has quality is a transitive relation)
- Prime Minister of the United Kingdom has quality extension of a concept ⇐ (Prime Minister of the United Kingdom has quality concept), (concept has quality extension of a concept), (has quality is a transitive relation)
- Prime Minister of the United Kingdom has quality mathematical object ⇐ (Prime Minister of the United Kingdom has quality concept), (concept has quality mathematical object), (has quality is a transitive relation)
- Prime Minister of the United Kingdom has quality set ⇐ (Prime Minister of the United Kingdom has quality concept), (concept has quality set), (has quality is a transitive relation)
- Prime Minister of the United Kingdom has quality relation ⇐ (Prime Minister of the United Kingdom has quality concept), (concept has quality relation), (has quality is a transitive relation)
- Prime Minister of the United Kingdom has quality legal concept ⇐ (duty is subclass of legal concept), (Prime Minister of the United Kingdom has quality duty)
- Prime Minister of the United Kingdom has quality abstract entity ⇐ (duty is subclass of abstract entity), (Prime Minister of the United Kingdom has quality duty)
- Prime Minister of the United Kingdom has quality concept ⇐ (Prime Minister of the United Kingdom is a position), (position has quality concept)
- Prime Minister of the United Kingdom has quality job duty ⇐ (Prime Minister of the United Kingdom is a position), (position has quality job duty)
- Prime Minister of the United Kingdom has quality duty ⇐ (Prime Minister of the United Kingdom is a position), (position has quality duty)
- Prime Minister of the United Kingdom has quality principle ⇐ (Prime Minister of the United Kingdom is a position), (position has quality principle)
- Prime Minister of the United Kingdom has quality existence ⇐ (Prime Minister of the United Kingdom has quality entity), (entity has quality existence), (has quality is a transitive relation)
- Prime Minister of the United Kingdom has quality entity ⇐ (taxonomic rank is a entity), (Prime Minister of the United Kingdom has quality taxonomic rank)
- Prime Minister of the United Kingdom has quality class ⇐ (type of property is subclass of class), (Prime Minister of the United Kingdom has quality type of property)
- role is for example Prime Minister of the United Kingdom ⇐ (Prime Minister of the United Kingdom is a role), (is a is inverse of is for example)
- Prime Minister of the United Kingdom has quality relative quality ⇐ (Prime Minister of the United Kingdom is a role), (role has quality relative quality)
- Prime Minister of the United Kingdom has quality class ⇐ (Prime Minister of the United Kingdom is a role), (role has quality class)
- Prime Minister of the United Kingdom has quality type ⇐ (Prime Minister of the United Kingdom is a role), (role has quality type)
- Prime Minister of the United Kingdom has quality superclass ⇐ (Prime Minister of the United Kingdom is a role), (role has quality superclass)
- Prime Minister of the United Kingdom has quality property ⇐ (Prime Minister of the United Kingdom is a role), (role has quality property)
- Prime Minister of the United Kingdom has quality criterion ⇐ (Prime Minister of the United Kingdom is a role), (role has quality criterion)
- Prime Minister of the United Kingdom has quality quality ⇐ (Prime Minister of the United Kingdom is a role), (role has quality quality)
- Prime Minister of the United Kingdom has quality taxonomic rank ⇐ (Prime Minister of the United Kingdom is a role), (role has quality taxonomic rank)
- Prime Minister of the United Kingdom has quality type of property ⇐ (Prime Minister of the United Kingdom is a role), (role has quality type of property)
- Prime Minister of the United Kingdom is a role ⇐ (public office is subclass of role), (Prime Minister of the United Kingdom is a public office)
- position is for example Prime Minister of the United Kingdom ⇐ (Prime Minister of the United Kingdom is a position), (is a is inverse of is for example)
- public office is for example Prime Minister of the United Kingdom ⇐ (Prime Minister of the United Kingdom is a public office), (is a is inverse of is for example)
- Prime Minister of the United Kingdom is a position ⇐ (public office is subclass of position), (Prime Minister of the United Kingdom is a public office)