Deductions
- political power has quality existence ⇐ (political power is a entity), (entity has quality existence)
- political power has quality class ⇐ (political power is a entity), (entity has quality class)
- entity is for example political power ⇐ (political power is a entity), (is a is inverse of is for example)
- political power is a entity ⇐ (type of power is subclass of entity), (political power is a type of power)
- Government of the United Kingdom is part of political power ⇐ (Government of the United Kingdom is part of executive branch), (executive branch is part of political power), (is part of is a transitive relation)
- type is for example political power ⇐ (political power is a type), (is a is inverse of is for example)
- political power is a type ⇐ (type of power is subclass of type), (political power is a type of power)
- type of power is for example political power ⇐ (political power is a type of power), (is a is inverse of is for example)
- political power is for example organ of state ⇐ (organ of state is a political power), (is a is inverse of is for example)
- organ of state is a political power ⇐ (state power is subclass of political power), (organ of state is a state power)