Deductions
- physics has quality role ⇐ (physics has quality effect), (effect has quality role), (has quality is a transitive relation)
- role has part class ⇐ (entity is a class), (role has part entity)
- political philosophy has quality role ⇐ (political philosophy has quality effect), (effect has quality role), (has quality is a transitive relation)
- antiliberalism has quality role ⇐ (antiliberalism has quality effect), (effect has quality role), (has quality is a transitive relation)
- liberalism has quality role ⇐ (liberalism has quality effect), (effect has quality role), (has quality is a transitive relation)
- kludge is subclass of role ⇐ (professionalism is subclass of role), (professionalism is opposite of kludge)
- politician has quality role ⇐ (professionalism is subclass of role), (politician has quality professionalism)
- president has quality role ⇐ (professionalism is subclass of role), (president has quality professionalism)
- professional has quality role ⇐ (professionalism is subclass of role), (professional has quality professionalism)
- profession is subclass of role ⇐ (hobby is subclass of role), (hobby is opposite of profession)
- professionalism is subclass of role ⇐ (hobby is subclass of role), (hobby is opposite of professionalism)
- adhesion has quality role ⇐ (adhesion is subclass of intermolecular interaction), (intermolecular interaction has quality role)
- intermolecular interaction has quality role ⇐ (intermolecular interaction is subclass of effect), (effect has quality role)
- role has quality class ⇐ (existence is a class), (role has quality existence)
- role is for example subclass ⇐ (subclass is a role), (is a is inverse of is for example)
- hobby is subclass of role ⇐ (hobby is subclass of occupation), (occupation is subclass of role), (is subclass of is a transitive relation)
- subclass is a role ⇐ (superclass is a role), (superclass is opposite of subclass)
- role has part class ⇐ (behavior is a class), (role has part behavior)
- role has quality class ⇐ (quality is a class), (role has quality quality)
- role is for example inhabitant ⇐ (inhabitant is a role), (is a is inverse of is for example)
- role is for example superclass ⇐ (superclass is a role), (is a is inverse of is for example)
- electrical engineering has quality role ⇐ (electrical engineering has quality effect), (effect has quality role), (has quality is a transitive relation)
- life sciences has quality role ⇐ (life sciences has quality effect), (effect has quality role), (has quality is a transitive relation)
- optics has quality role ⇐ (optics has quality effect), (effect has quality role), (has quality is a transitive relation)
- sociology of occupation has quality role ⇐ (sociology of occupation has quality effect), (effect has quality role), (has quality is a transitive relation)
- social sciences and humanities has quality role ⇐ (social sciences and humanities has quality effect), (effect has quality role), (has quality is a transitive relation)
- role has quality abstract entity ⇐ (type is a abstract entity), (role has quality type)
- semantic unit has quality role ⇐ (superclass is a role), (semantic unit has quality superclass)
- Q9380011 has quality role ⇐ (superclass is a role), (Q9380011 has quality superclass)
- human population has part role ⇐ (inhabitant is a role), (human population has part inhabitant)
- rural population has part role ⇐ (inhabitant is a role), (rural population has part inhabitant)
- inhabitant is a role ⇐ (nonresident is a role), (nonresident is opposite of inhabitant)
- role is for example civilian ⇐ (civilian is a role), (is a is inverse of is for example)
- role is for example nonresident ⇐ (nonresident is a role), (is a is inverse of is for example)
- role is for example significant other ⇐ (significant other is a role), (is a is inverse of is for example)
- role has quality entity ⇐ (taxonomic rank is a entity), (role has quality taxonomic rank)
- role has part type of object ⇐ (abstract entity is a type of object), (role has part abstract entity)
- Wikidata editors has part role ⇐ (Wikidata editor is a role), (Wikidata editors has part Wikidata editor)
- role is for example operator ⇐ (operator is a role), (is a is inverse of is for example)
- role is for example amateur ⇐ (amateur is a role), (is a is inverse of is for example)
- role is for example author ⇐ (author is a role), (is a is inverse of is for example)
- role is for example Christian ⇐ (Christian is a role), (is a is inverse of is for example)
- role is for example knowledge worker ⇐ (knowledge worker is a role), (is a is inverse of is for example)
- role is for example country ⇐ (country is a role), (is a is inverse of is for example)
- role is for example monarch of the United Kingdom ⇐ (monarch of the United Kingdom is a role), (is a is inverse of is for example)
- role is for example religious adherent ⇐ (religious adherent is a role), (is a is inverse of is for example)
- role is for example employer ⇐ (employer is a role), (is a is inverse of is for example)
- role is for example combatant ⇐ (combatant is a role), (is a is inverse of is for example)
- role is for example Mayor of Santa Barbara, California ⇐ (Mayor of Santa Barbara, California is a role), (is a is inverse of is for example)
- role is for example Mayor of London ⇐ (Mayor of London is a role), (is a is inverse of is for example)
- role is for example President of South Africa ⇐ (President of South Africa is a role), (is a is inverse of is for example)
- role is for example head of state ⇐ (head of state is a role), (is a is inverse of is for example)
- 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)
- role is for example statesperson ⇐ (statesperson is a role), (is a is inverse of is for example)
- role is for example worker ⇐ (worker is a role), (is a is inverse of is for example)
- role is for example apostate ⇐ (apostate is a role), (is a is inverse of is for example)
- role is for example employee ⇐ (employee is a role), (is a is inverse of is for example)
- role is for example professional ⇐ (professional is a role), (is a is inverse of is for example)
- role is for example Wikidata editor ⇐ (Wikidata editor is a role), (is a is inverse of is for example)
- role is for example social activist ⇐ (social activist is a role), (is a is inverse of is for example)
- role is for example Methodist pastor ⇐ (Methodist pastor is a role), (is a is inverse of is for example)
- role is for example anti-Christian ⇐ (anti-Christian is a role), (is a is inverse of is for example)
- role is for example political activist ⇐ (political activist is a role), (is a is inverse of is for example)
- political activist is a role ⇐ (occupation is subclass of role), (political activist is a occupation)
- employer is a role ⇐ (occupation is subclass of role), (employer is a occupation)
- non-combatant is a role ⇐ (occupation is subclass of role), (non-combatant is a occupation)
- amateur is a role ⇐ (occupation is subclass of role), (amateur is a occupation)
- anti-Christian is a role ⇐ (occupation is subclass of role), (anti-Christian is a occupation)
- Methodist pastor is a role ⇐ (occupation is subclass of role), (Methodist pastor is a occupation)
- social activist is a role ⇐ (occupation is subclass of role), (social activist is a occupation)
- Wikidata editor is a role ⇐ (occupation is subclass of role), (Wikidata editor is a occupation)
- operator is a role ⇐ (occupation is subclass of role), (operator is a occupation)
- professional is a role ⇐ (occupation is subclass of role), (professional is a occupation)
- combatant is a role ⇐ (occupation is subclass of role), (combatant is a occupation)
- employee is a role ⇐ (occupation is subclass of role), (employee is a occupation)
- apostate is a role ⇐ (occupation is subclass of role), (apostate is a occupation)
- knowledge worker is a role ⇐ (occupation is subclass of role), (knowledge worker is a occupation)
- worker is a role ⇐ (occupation is subclass of role), (worker is a occupation)
- author is a role ⇐ (occupation is subclass of role), (author is a occupation)
- religious adherent is a role ⇐ (occupation is subclass of role), (religious adherent is a occupation)
- creator is a role ⇐ (occupation is subclass of role), (creator is a occupation)
- statesperson is a role ⇐ (occupation is subclass of role), (statesperson is a occupation)
- Christian is a role ⇐ (occupation is subclass of role), (Christian is a occupation)
- 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)
- Mayor of Santa Barbara, California is a role ⇐ (public office is subclass of role), (Mayor of Santa Barbara, California is a public office)
- monarch of the United Kingdom is a role ⇐ (public office is subclass of role), (monarch of the United Kingdom is a public office)
- head of state is a role ⇐ (public office is subclass of role), (head of state is a public office)
- President of South Africa is a role ⇐ (public office is subclass of role), (President of South Africa is a public office)
- Mayor of London is a role ⇐ (public office is subclass of role), (Mayor of London is a public office)
- role has quality class ⇐ (type of property is a class), (role has quality type of property)
- role has quality existence ⇐ (role is subclass of entity), (entity has quality existence)
- role has part variable-order class ⇐ (concept is a variable-order class), (role has part concept)
- role has part concept ⇐ (metaclass is a concept), (role has part metaclass)
- role has part metaclass ⇐ (abstract entity is a metaclass), (role has part abstract entity)
- role has part abstract entity ⇐ (behavior is a abstract entity), (role has part behavior)
- role has part entity ⇐ (behavior is a entity), (role has part behavior)
- combatant is a role ⇐ (non-combatant is a role), (non-combatant is opposite of combatant)
- country is a role ⇐ (rest of the world is a role), (rest of the world is opposite of country)
- role is for example non-combatant ⇐ (non-combatant is a role), (is a is inverse of is for example)
- role is for example rest of the world ⇐ (rest of the world is a role), (is a is inverse of is for example)
- role is for example cause ⇐ (cause is a role), (is a is inverse of is for example)
- role is for example recipient ⇐ (recipient is a role), (is a is inverse of is for example)
- role is for example aspect ⇐ (aspect is a role), (is a is inverse of is for example)
- role is for example property ⇐ (property is a role), (is a is inverse of is for example)
- role is for example source ⇐ (source is a role), (is a is inverse of is for example)
- role is for example element ⇐ (element is a role), (is a is inverse of is for example)
- BFO class is for example role ⇐ (role is a BFO class), (is a is inverse of is for example)
- role is for example relative ⇐ (relative is a role), (is a is inverse of is for example)
- role is for example creator ⇐ (creator is a role), (is a is inverse of is for example)
- role is for example opposite ⇐ (opposite is a role), (is a is inverse of is for example)
- role is for example subsidiary ⇐ (subsidiary is a role), (is a is inverse of is for example)
- role is for example parent company ⇐ (parent company is a role), (is a is inverse of is for example)
- role is for example followed by ⇐ (followed by is a role), (is a is inverse of is for example)
- role is for example follows ⇐ (follows is a role), (is a is inverse of is for example)
- role is for example participant ⇐ (participant is a role), (is a is inverse of is for example)
- environment has quality role ⇐ (environment has quality effect), (effect has quality role), (has quality is a transitive relation)
- role has quality type ⇐ (role has quality quality), (quality has quality type), (has quality is a transitive relation)
- role has quality superclass ⇐ (role has quality quality), (quality has quality superclass), (has quality is a transitive relation)
- role has quality taxonomic rank ⇐ (role has quality quality), (quality has quality taxonomic rank), (has quality is a transitive relation)
- role has quality property ⇐ (role has quality type of property), (type of property has quality property), (has quality is a transitive relation)
- role has quality criterion ⇐ (role has quality type of property), (type of property has quality criterion), (has quality is a transitive relation)
- role is subclass of continuant ⇐ (role is subclass of specifically dependent continuant), (specifically dependent continuant is subclass of continuant), (is subclass of is a transitive relation)
- role is subclass of entity ⇐ (role is subclass of specifically dependent continuant), (specifically dependent continuant is subclass of entity), (is subclass of is a transitive relation)
- public office is subclass of role ⇐ (public office is subclass of role), (role is subclass of role), (is subclass of is a transitive relation)
- occupation is subclass of role ⇐ (occupation is subclass of social position), (social position is subclass of role), (is subclass of is a transitive relation)
- role is subclass of realizable entity ⇐ (role is subclass of role), (role is subclass of realizable entity), (is subclass of is a transitive relation)
- role is subclass of specifically dependent continuant ⇐ (role is subclass of role), (role is subclass of specifically dependent continuant), (is subclass of is a transitive relation)
- role is subclass of specifically dependent continuant ⇐ (role is subclass of realizable entity), (realizable entity is subclass of specifically dependent continuant), (is subclass of is a transitive relation)
- social position is subclass of role ⇐ (social position is subclass of role), (role is subclass of role), (is subclass of is a transitive relation)
- public office is subclass of role ⇐ (public office is subclass of position), (position is subclass of role), (is subclass of is a transitive relation)