Deductions
- intergovernmental organization has quality superclass ⇐ (intergovernmental organization has quality abstract entity), (abstract entity has quality superclass), (has quality is a transitive relation)
- intergovernmental organization has quality class ⇐ (quality is a class), (intergovernmental organization has quality quality)
- intergovernmental organization has quality superclass ⇐ (intergovernmental organization has quality abstract entity), (abstract entity has quality superclass), (has quality is a transitive relation)
- intergovernmental organization has quality taxonomic rank ⇐ (intergovernmental organization has quality abstract entity), (abstract entity has quality taxonomic rank), (has quality is a transitive relation)
- intergovernmental organization has quality abstract entity ⇐ (type is a abstract entity), (intergovernmental organization has quality type)
- intergovernmental organization has quality entity ⇐ (type is a entity), (intergovernmental organization has quality type)
- class is for example intergovernmental organization ⇐ (intergovernmental organization is a class), (is a is inverse of is for example)
- entity is for example intergovernmental organization ⇐ (intergovernmental organization is a entity), (is a is inverse of is for example)
- intergovernmental organization has quality type ⇐ (intergovernmental organization is a class), (class has quality type)
- intergovernmental organization has quality property ⇐ (intergovernmental organization is a class), (class has quality property)
- intergovernmental organization has quality quality ⇐ (intergovernmental organization is a class), (class has quality quality)
- intergovernmental organization has quality criterion ⇐ (intergovernmental organization is a class), (class has quality criterion)
- intergovernmental organization has quality existence ⇐ (intergovernmental organization is a entity), (entity has quality existence)
- intergovernmental organization is a entity ⇐ (class is subclass of entity), (intergovernmental organization is a class)
- intergovernmental organization is a class ⇐ (type of organisation is subclass of class), (intergovernmental organization is a type of organisation)
- type of organisation is for example intergovernmental organization ⇐ (intergovernmental organization is a type of organisation), (is a is inverse of is for example)
- intergovernmental organization is for example Council of Europe ⇐ (Council of Europe is a intergovernmental organization), (is a is inverse of is for example)
- intergovernmental organization is for example United Nations ⇐ (United Nations is a intergovernmental organization), (is a is inverse of is for example)