Deductions
- university has quality class ⇐ (university has quality quality), (quality has quality class), (has quality is a transitive relation)
- university has quality property ⇐ (university has quality type), (type has quality property), (has quality is a transitive relation)
- university has quality result ⇐ (university has quality means), (means has quality result), (has quality is a transitive relation)
- university has quality criterion ⇐ (university has quality means), (means has quality criterion), (has quality is a transitive relation)
- university has quality type ⇐ (university has quality means), (means has quality type), (has quality is a transitive relation)
- university has quality type of property ⇐ (university has quality means), (means has quality type of property), (has quality is a transitive relation)
- university has quality class ⇐ (university has quality means), (means has quality class), (has quality is a transitive relation)
- university has quality quality ⇐ (university has quality means), (means has quality quality), (has quality is a transitive relation)
- university has quality abstract entity ⇐ (organizational structure is a abstract entity), (university has quality organizational structure)
- university has quality means ⇐ (college and university ranking is a means), (university has quality college and university ranking)
- university has quality entity ⇐ (taxonomic rank is a entity), (university has quality taxonomic rank)
- entity is for example university ⇐ (university is a entity), (is a is inverse of is for example)
- university has quality superclass ⇐ (university is a class), (class has quality superclass)
- university has quality taxonomic rank ⇐ (university is a class), (class has quality taxonomic rank)
- university is a entity ⇐ (type of educational institution is subclass of entity), (university is a type of educational institution)
- university is a class ⇐ (type of educational institution is subclass of class), (university is a type of educational institution)
- university has quality structure ⇐ (university is subclass of organization), (organization has quality structure)
- university has quality organizational structure ⇐ (university is subclass of organization), (organization has quality organizational structure)
- university has quality existence ⇐ (university is subclass of organization), (organization has quality existence)
- university is for example University of Natal ⇐ (University of Natal is a university), (is a is inverse of is for example)
- type of educational institution is for example university ⇐ (university is a type of educational institution), (is a is inverse of is for example)
- type is for example university ⇐ (university is a type), (is a is inverse of is for example)
- class is for example university ⇐ (university is a class), (is a is inverse of is for example)
- university is for example University of Manila ⇐ (University of Manila is a university), (is a is inverse of is for example)
- university is subclass of organization ⇐ (university is subclass of educational institution), (educational institution is subclass of organization), (is subclass of is a transitive relation)
- university is subclass of service provider ⇐ (university is subclass of educational institution), (educational institution is subclass of service provider), (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 university ⇐ (public research university is subclass of public university), (public university is subclass of university), (is subclass of is a transitive relation)
- university is a class ⇐ (type is subclass of class), (university is a type)
- university is a type ⇐ (type of educational institution is subclass of type), (university is a type of educational institution)
- university has quality evaluation ⇐ (ranking is subclass of evaluation), (university has quality ranking)
- university has quality ranking ⇐ (college and university ranking is subclass of ranking), (university has quality college and university ranking)
- university has quality college and university ranking ⇐ (university is subclass of higher education institution), (higher education institution has quality college and university ranking)