Deductions
- Mayor of London has quality abstract entity ⇐ (type is a abstract entity), (Mayor of London has quality type)
- Mayor of London has quality existence ⇐ (Mayor of London has quality entity), (entity has quality existence), (has quality is a transitive relation)
- Mayor of London has quality entity ⇐ (taxonomic rank is a entity), (Mayor of London has quality taxonomic rank)
- Mayor of London has quality class ⇐ (type of property is subclass of class), (Mayor of London has quality type of property)
- role is for example Mayor of London ⇐ (Mayor of London is a role), (is a is inverse of is for example)
- Mayor of London has quality relative quality ⇐ (Mayor of London is a role), (role has quality relative quality)
- Mayor of London has quality class ⇐ (Mayor of London is a role), (role has quality class)
- Mayor of London has quality type ⇐ (Mayor of London is a role), (role has quality type)
- Mayor of London has quality superclass ⇐ (Mayor of London is a role), (role has quality superclass)
- Mayor of London has quality property ⇐ (Mayor of London is a role), (role has quality property)
- Mayor of London has quality criterion ⇐ (Mayor of London is a role), (role has quality criterion)
- Mayor of London has quality quality ⇐ (Mayor of London is a role), (role has quality quality)
- Mayor of London has quality taxonomic rank ⇐ (Mayor of London is a role), (role has quality taxonomic rank)
- Mayor of London has quality type of property ⇐ (Mayor of London is a role), (role has quality type of property)
- Mayor of London is a role ⇐ (public office is subclass of role), (Mayor of London is a public office)
- position is for example Mayor of London ⇐ (Mayor of London is a position), (is a is inverse of is for example)
- public office is for example Mayor of London ⇐ (Mayor of London is a public office), (is a is inverse of is for example)
- Mayor of London is a position ⇐ (public office is subclass of position), (Mayor of London is a public office)