Deductions
- public university has quality class ⇐ (existence is a class), (public university has quality existence)
- class is for example public university ⇐ (public university is a class), (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 public university ⇐ (public university is a entity), (is a is inverse of is for example)
- public university has quality existence ⇐ (public university is a entity), (entity has quality existence)
- public university is a entity ⇐ (type of educational institution is subclass of entity), (public university is a type of educational institution)
- public university is a class ⇐ (type of educational institution is subclass of class), (public university is a type of educational institution)
- 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)
- type of university is for example public university ⇐ (public university is a type of university), (is a is inverse of is for example)
- public university is for example University of the Witwatersrand ⇐ (University of the Witwatersrand is a public university), (is a is inverse of is for example)
- private university is opposite of public university ⇐ public university is opposite of private university
- 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)
- 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 the Witwatersrand is a public university ⇐ (public research university is subclass of public university), (University of the Witwatersrand is a public research university)