Deductions
- politics has part class ⇐ (entity is a class), (politics has part entity)
- politics has part class ⇐ (abstract entity is a class), (politics has part abstract entity)
- politics has part type of object ⇐ (abstract entity is a type of object), (politics has part abstract entity)
- politics has quality habit ⇐ (politics is subclass of behavior), (behavior has quality habit)
- politics has part variable-order class ⇐ (concept is a variable-order class), (politics has part concept)
- politics has part concept ⇐ (metaclass is a concept), (politics has part metaclass)
- politics has part metaclass ⇐ (abstract entity is a metaclass), (politics has part abstract entity)
- politics has part abstract entity ⇐ (public policy is a abstract entity), (politics has part public policy)
- politics has part entity ⇐ (public policy is a entity), (politics has part public policy)
- field of study is for example politics ⇐ (politics is a field of study), (is a is inverse of is for example)
- academic discipline is for example politics ⇐ (politics is a academic discipline), (is a is inverse of is for example)
- politics is subclass of regularity ⇐ (politics is subclass of animal behavior), (animal behavior is subclass of regularity), (is subclass of is a transitive relation)
- politics is subclass of pattern ⇐ (politics is subclass of animal behavior), (animal behavior is subclass of pattern), (is subclass of is a transitive relation)
- politics is subclass of behavior ⇐ (politics is subclass of animal behavior), (animal behavior is subclass of behavior), (is subclass of is a transitive relation)
- politics is subclass of abstract entity ⇐ (politics is subclass of animal behavior), (animal behavior is subclass of abstract entity), (is subclass of is a transitive relation)
- politics is subclass of entity ⇐ (politics is subclass of animal behavior), (animal behavior is subclass of entity), (is subclass of is a transitive relation)
- politics is subclass of social behavior ⇐ (politics is subclass of group behaviour), (group behaviour is subclass of social behavior), (is subclass of is a transitive relation)
- politics is subclass of animal behavior ⇐ (politics is subclass of group behaviour), (group behaviour is subclass of animal behavior), (is subclass of is a transitive relation)
- politics is a field of study ⇐ (academic discipline is subclass of field of study), (politics is a academic discipline)