Deductions
- university history has quality class ⇐ (existence is a class), (university history has quality existence)
- university history has quality source ⇐ (source of information is subclass of source), (university history has quality source of information)
- university history has quality evidence ⇐ (university history is subclass of science), (science has quality evidence)
- university history has quality source of information ⇐ (university history is subclass of science), (science has quality source of information)
- university history has quality scientific evidence ⇐ (university history is subclass of science), (science has quality scientific evidence)
- university history has quality existence ⇐ (university history is subclass of science), (science has quality existence)
- aspect of history is for example university history ⇐ (university history is a aspect of history), (is a is inverse of is for example)
- university history is subclass of social sciences and humanities ⇐ (university history is subclass of humanities), (humanities is subclass of social sciences and humanities), (is subclass of is a transitive relation)
- university history is subclass of science ⇐ (university history is subclass of humanities), (humanities is subclass of science), (is subclass of is a transitive relation)
- university history is subclass of humanities ⇐ (university history is subclass of study of history), (study of history is subclass of humanities), (is subclass of is a transitive relation)