Deductions
- type of institution has quality class ⇐ (quality is a class), (type of institution has quality quality)
- type of institution has quality superclass ⇐ (type of institution has quality abstract entity), (abstract entity has quality superclass), (has quality is a transitive relation)
- type of institution has quality taxonomic rank ⇐ (type of institution has quality abstract entity), (abstract entity has quality taxonomic rank), (has quality is a transitive relation)
- type of institution has quality abstract entity ⇐ (type is a abstract entity), (type of institution has quality type)
- type of institution has quality existence ⇐ (type of institution has quality entity), (entity has quality existence), (has quality is a transitive relation)
- type of institution has quality entity ⇐ (type is a entity), (type of institution has quality type)
- entity is for example type of institution ⇐ (type of institution is a entity), (is a is inverse of is for example)
- second-order class is for example type of institution ⇐ (type of institution is a second-order class), (is a is inverse of is for example)
- type of institution is a entity ⇐ (second-order class is subclass of entity), (type of institution is a second-order class)
- type of institution has quality type ⇐ (criterion is a type), (type of institution has quality criterion)
- type of institution has quality criterion ⇐ (type of institution is subclass of legal form), (legal form has quality criterion)
- type of institution has quality property ⇐ (type of institution is subclass of legal form), (legal form has quality property)
- type of institution has quality quality ⇐ (type of institution is subclass of legal form), (legal form has quality quality)
- type of institution is for example cultural institution ⇐ (cultural institution is a type of institution), (is a is inverse of is for example)