Deductions
- public research university has quality class ⇐ (abstract entity is a class), (public research university has quality abstract entity)
- public research university has quality type ⇐ (organizational structure is a type), (public research university has quality organizational structure)
- public research university has quality abstract entity ⇐ (organizational structure is a abstract entity), (public research university has quality organizational structure)
- 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)
- class is for example public research university ⇐ (public research university is a class), (is a is inverse of is for example)
- entity is for example public research university ⇐ (public research university is a entity), (is a is inverse of is for example)
- public research university is a entity ⇐ (type of educational institution is subclass of entity), (public research university is a type of educational institution)
- public research university is a class ⇐ (type of educational institution is subclass of class), (public research university is a type of educational institution)
- 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)
- public research university has quality agency ⇐ (public research university is subclass of person or organization), (person or organization has quality agency)
- public research university has quality aptitude ⇐ (public research university is subclass of person or organization), (person or organization has quality aptitude)
- public research university has quality structure ⇐ (public research university is subclass of organization), (organization has quality structure)
- public research university has quality organizational structure ⇐ (public research university is subclass of organization), (organization has quality organizational structure)
- public research university has quality existence ⇐ (public research university is subclass of entity), (entity has quality existence)
- public research university is for example University of the Witwatersrand ⇐ (University of the Witwatersrand is a public research university), (is a is inverse of is for example)
- type of university is for example public research university ⇐ (public research university is a type of university), (is a is inverse of is for example)
- public research university is subclass of entity ⇐ (public research university is subclass of continuant), (continuant is subclass of entity), (is subclass of is a transitive relation)
- public research university is subclass of organization ⇐ (public research university is subclass of educational institution), (educational institution is subclass of organization), (is subclass of is a transitive relation)
- public research university is subclass of service provider ⇐ (public research university is subclass of educational institution), (educational institution is subclass of service provider), (is subclass of is a transitive relation)
- public research university is subclass of agent ⇐ (public research university is subclass of educational institution), (educational institution is subclass of agent), (is subclass of is a transitive relation)
- public research university is subclass of person or organization ⇐ (public research university is subclass of educational institution), (educational institution is subclass of person or organization), (is subclass of is a transitive relation)
- public research university is subclass of independent continuant ⇐ (public research university is subclass of educational institution), (educational institution is subclass of independent continuant), (is subclass of is a transitive relation)
- public research university is subclass of continuant ⇐ (public research university is subclass of educational institution), (educational institution is subclass of continuant), (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 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 research university is subclass of university ⇐ (public research university is subclass of public university), (public university is subclass of university), (is subclass of is a transitive relation)