Deductions
- type of university has quality class ⇐ (quality is a class), (type of university has quality quality)
- type of university has quality abstract entity ⇐ (type is a abstract entity), (type of university has quality type)
- type of university has quality entity ⇐ (type is a entity), (type of university has quality type)
- classification scheme is for example type of university ⇐ (type of university is a classification scheme), (is a is inverse of is for example)
- type of university has quality type ⇐ (criterion is a type), (type of university has quality criterion)
- type of university has quality quality ⇐ (type of university is subclass of type of educational institution), (type of educational institution has quality quality)
- type of university has quality property ⇐ (type of university is subclass of type of educational institution), (type of educational institution has quality property)
- type of university has quality criterion ⇐ (type of university is subclass of type of educational institution), (type of educational institution has quality criterion)
- type of university is for example public university ⇐ (public university is a type of 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)