Deductions
- higher education institution has quality class ⇐ (existence is a class), (higher education institution has quality existence)
- private university is subclass of higher education institution ⇐ (public university is subclass of higher education institution), (public university is opposite of private university)
- higher education institution has quality means ⇐ (college and university ranking is a means), (higher education institution has quality college and university ranking)
- entity is for example higher education institution ⇐ (higher education institution is a entity), (is a is inverse of is for example)
- higher education institution has quality existence ⇐ (higher education institution is a entity), (entity has quality existence)
- higher education institution is a entity ⇐ (type of educational institution is subclass of entity), (higher education institution is a type of educational institution)
- higher education institution is a class ⇐ (type of educational institution is subclass of class), (higher education institution is a type of educational institution)
- class is for example higher education institution ⇐ (higher education institution is a class), (is a is inverse of is for example)
- type is for example higher education institution ⇐ (higher education institution is a type), (is a is inverse of is for example)
- higher education institution is for example University of Manila ⇐ (University of Manila is a higher education 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)
- higher education institution is for example University of Natal ⇐ (University of Natal is a higher education institution), (is a is inverse of is for example)
- public research university is subclass of higher education institution ⇐ (public research university is subclass of public university), (public university is subclass of higher education institution), (is subclass of is a transitive relation)
- public university is subclass of higher education institution ⇐ (public university is subclass of university), (university is subclass of higher education institution), (is subclass of is a transitive relation)
- University of Natal is a higher education institution ⇐ (university is subclass of higher education institution), (University of Natal is a university)
- University of Manila is a higher education institution ⇐ (university is subclass of higher education institution), (University of Manila is a university)
- higher education institution is a class ⇐ (type is subclass of class), (higher education institution is a type)
- higher education institution is a type ⇐ (type of educational institution is subclass of type), (higher education institution is a type of educational institution)
- higher education institution has quality evaluation ⇐ (ranking is subclass of evaluation), (higher education institution has quality ranking)
- higher education institution has quality ranking ⇐ (college and university ranking is subclass of ranking), (higher education institution has quality college and university ranking)