Deductions
- secondary school has quality class ⇐ (existence is a class), (secondary school has quality existence)
- secondary school has quality superclass ⇐ (secondary school is a class), (class has quality superclass)
- secondary school has quality taxonomic rank ⇐ (secondary school is a class), (class has quality taxonomic rank)
- secondary school has quality entity ⇐ (secondary school is a class), (class has quality entity)
- entity is for example secondary school ⇐ (secondary school is a entity), (is a is inverse of is for example)
- secondary school has quality existence ⇐ (secondary school is a entity), (entity has quality existence)
- secondary school is a entity ⇐ (type of educational institution is subclass of entity), (secondary school is a type of educational institution)
- secondary school is a class ⇐ (type of educational institution is subclass of class), (secondary school is a type of educational institution)
- class is for example secondary school ⇐ (secondary school is a class), (is a is inverse of is for example)
- type is for example secondary school ⇐ (secondary school is a type), (is a is inverse of is for example)
- type of educational institution is for example secondary school ⇐ (secondary school is a type of educational institution), (is a is inverse of is for example)
- secondary school is a class ⇐ (type is subclass of class), (secondary school is a type)
- secondary school is a type ⇐ (type of educational institution is subclass of type), (secondary school is a type of educational institution)