Deductions
- educational institution has quality class ⇐ (class is a class), (educational institution has quality class)
- educational institution has quality entity ⇐ (class is a entity), (educational institution has quality class)
- educational institution has quality class ⇐ (type of educational institution is a class), (educational institution has quality type of educational institution)
- educational institution has quality agency ⇐ (educational institution is subclass of person or organization), (person or organization has quality agency)
- educational institution has quality aptitude ⇐ (educational institution is subclass of person or organization), (person or organization has quality aptitude)
- educational institution has quality existence ⇐ (educational institution is subclass of person or organization), (person or organization has quality existence)
- educational institution is for example St. Petersburg Practical Institute of Technology ⇐ (St. Petersburg Practical Institute of Technology is a educational institution), (is a is inverse of is for example)
- educational institution is for example Polytechnikum Riga ⇐ (Polytechnikum Riga is a educational institution), (is a is inverse of is for example)
- first-order class is for example educational institution ⇐ (educational institution is a first-order class), (is a is inverse of is for example)
- independent school is subclass of educational institution ⇐ (independent school is subclass of private school), (private school is subclass of educational institution), (is subclass of is a transitive relation)
- private school is subclass of educational institution ⇐ (private school is subclass of school), (school is subclass of educational institution), (is subclass of is a transitive relation)
- educational institution is subclass of agent ⇐ (educational institution is subclass of organization), (organization is subclass of agent), (is subclass of is a transitive relation)
- educational institution is subclass of person or organization ⇐ (educational institution is subclass of organization), (organization is subclass of person or organization), (is subclass of is a transitive relation)
- educational institution is subclass of continuant ⇐ (educational institution is subclass of organization), (organization is subclass of continuant), (is subclass of is a transitive relation)
- educational institution is subclass of independent continuant ⇐ (educational institution is subclass of organization), (organization is subclass of independent continuant), (is subclass of is a transitive relation)
- educational institution is subclass of organization ⇐ (educational institution is subclass of service provider), (service provider is subclass of organization), (is subclass of is a transitive relation)
- university is subclass of educational institution ⇐ (university is subclass of higher education institution), (higher education institution is subclass of educational institution), (is subclass of is a transitive relation)
- public research university is subclass of educational institution ⇐ (public research university is subclass of public university), (public university is subclass of educational institution), (is subclass of is a transitive relation)
- public university is subclass of educational institution ⇐ (public university is subclass of higher education institution), (higher education institution is subclass of educational institution), (is subclass of is a transitive relation)