Deductions
- type of organisation has quality superclass ⇐ (type of organisation has quality abstract entity), (abstract entity has quality superclass), (has quality is a transitive relation)
- type of organisation has part concept ⇐ (class is a concept), (type of organisation has part class)
- type of organisation has part class ⇐ (class is a class), (type of organisation has part class)
- type of organisation has quality class ⇐ (quality is a class), (type of organisation has quality quality)
- type of organisation is for example financial institution ⇐ (financial institution is a type of organisation), (is a is inverse of is for example)
- type of organisation has quality superclass ⇐ (type of organisation has quality abstract entity), (abstract entity has quality superclass), (has quality is a transitive relation)
- type of organisation has quality taxonomic rank ⇐ (type of organisation has quality abstract entity), (abstract entity has quality taxonomic rank), (has quality is a transitive relation)
- type of organisation has quality abstract entity ⇐ (type is a abstract entity), (type of organisation has quality type)
- type of organisation has part class ⇐ (entity is a class), (type of organisation has part entity)
- type of organisation is for example company ⇐ (company is a type of organisation), (is a is inverse of is for example)
- type of organisation is for example armed organization ⇐ (armed organization is a type of organisation), (is a is inverse of is for example)
- type of organisation has quality existence ⇐ (type of organisation has quality entity), (entity has quality existence), (has quality is a transitive relation)
- type of organisation has quality entity ⇐ (type is a entity), (type of organisation has quality type)
- type of organisation is for example political opposition ⇐ (political opposition is a type of organisation), (is a is inverse of is for example)
- type of organisation is for example political organization ⇐ (political organization is a type of organisation), (is a is inverse of is for example)
- type of organisation is for example government directorate ⇐ (government directorate is a type of organisation), (is a is inverse of is for example)
- entity is for example type of organisation ⇐ (type of organisation is a entity), (is a is inverse of is for example)
- type of organisation is for example government ⇐ (government is a type of organisation), (is a is inverse of is for example)
- type of organisation is for example membership organization ⇐ (membership organization is a type of organisation), (is a is inverse of is for example)
- type of organisation is for example division ⇐ (division is a type of organisation), (is a is inverse of is for example)
- type of organisation is a entity ⇐ (second-order class is subclass of entity), (type of organisation is a second-order class)
- type of organisation has quality type ⇐ (criterion is a type), (type of organisation has quality criterion)
- type of organisation has quality criterion ⇐ (type of organisation is subclass of class), (class has quality criterion)
- type of organisation has quality quality ⇐ (type of organisation is subclass of class), (class has quality quality)
- type of organisation has quality property ⇐ (type of organisation is subclass of class), (class has quality property)
- type of organisation has part variable-order class ⇐ (entity is a variable-order class), (type of organisation has part entity)
- type of organisation has part entity ⇐ (type of organisation is subclass of class), (class has part entity)
- political opposition is a type of organisation ⇐ (government is a type of organisation), (government is opposite of political opposition)
- second-order class is for example type of organisation ⇐ (type of organisation is a second-order class), (is a is inverse of is for example)
- type of organisation is for example intergovernmental organization ⇐ (intergovernmental organization is a type of organisation), (is a is inverse of is for example)