Deductions
- type of educational institution has quality class ⇐ (quality is a class), (type of educational institution has quality quality)
- class is for example type of educational institution ⇐ (type of educational institution is a class), (is a is inverse of is for example)
- type of educational institution is a class ⇐ (abstract entity is subclass of class), (type of educational institution is a abstract entity)
- type of educational institution has quality abstract entity ⇐ (type is a abstract entity), (type of educational institution has quality type)
- type of educational institution is for example private university ⇐ (private university is a type of educational institution), (is a is inverse of is for example)
- abstract entity is for example type of educational institution ⇐ (type of educational institution is a abstract entity), (is a is inverse of is for example)
- type of educational institution is a abstract entity ⇐ (metaclass is subclass of abstract entity), (type of educational institution is a metaclass)
- type of educational institution has quality entity ⇐ (taxonomic rank is a entity), (type of educational institution has quality taxonomic rank)
- private university is a type of educational institution ⇐ (public university is a type of educational institution), (public university is opposite of private university)
- type of educational institution is for example public research university ⇐ (public research university is a type of educational institution), (is a is inverse of is for example)
- type of educational institution is for example faculty of humanities ⇐ (faculty of humanities is a type of educational institution), (is a is inverse of is for example)
- type of educational institution is for example public university ⇐ (public university is a type of educational institution), (is a is inverse of is for example)
- entity is for example type of educational institution ⇐ (type of educational institution is a entity), (is a is inverse of is for example)
- Brentwood School has quality type of educational institution ⇐ (Brentwood School is a school), (school has quality type of educational institution)
- type of educational institution is a entity ⇐ (metaclass is subclass of entity), (type of educational institution is a metaclass)
- public university is a type of educational institution ⇐ (type of university is subclass of type of educational institution), (public university is a type of university)
- public research university is a type of educational institution ⇐ (type of university is subclass of type of educational institution), (public research university is a type of university)
- type of educational institution has quality type ⇐ (criterion is a type), (type of educational institution has quality criterion)
- type of educational institution has quality existence ⇐ (type of educational institution is subclass of entity), (entity has quality existence)
- type of educational institution has quality taxonomic rank ⇐ (type of educational institution is subclass of class), (class has quality taxonomic rank)
- type of educational institution has quality superclass ⇐ (type of educational institution is subclass of class), (class has quality superclass)
- type of educational institution is for example university ⇐ (university is a type of educational institution), (is a is inverse of is for example)
- type of educational institution is for example higher education institution ⇐ (higher education institution is a type of educational institution), (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)
- type of educational institution is for example private school ⇐ (private school is a type of educational institution), (is a is inverse of is for example)
- metaclass is for example type of educational institution ⇐ (type of educational institution is a metaclass), (is a is inverse of is for example)
- class is for example type of educational institution ⇐ (type of educational institution is a class), (is a is inverse of is for example)
- type of educational institution has quality quality ⇐ (type of educational institution is a class), (class has quality quality)
- type of educational institution has quality property ⇐ (type of educational institution is a class), (class has quality property)
- type of educational institution has quality criterion ⇐ (type of educational institution is a class), (class has quality criterion)
- type of educational institution is subclass of abstract entity ⇐ (type of educational institution is subclass of class), (class is subclass of abstract entity), (is subclass of is a transitive relation)
- type of educational institution is subclass of class ⇐ (type of educational institution is subclass of class), (class is subclass of class), (is subclass of is a transitive relation)
- type of educational institution is subclass of entity ⇐ (type of educational institution is subclass of class), (class is subclass of entity), (is subclass of is a transitive relation)
- type of educational institution is subclass of class ⇐ (type of educational institution is subclass of type), (type is subclass of class), (is subclass of is a transitive relation)
- type of educational institution is a class ⇐ (metaclass is subclass of class), (type of educational institution is a metaclass)