Deductions
- object is for example University of the Witwatersrand ⇐ (University of the Witwatersrand is a object), (is a is inverse of is for example)
- spatio-temporal entity is for example University of the Witwatersrand ⇐ (University of the Witwatersrand is a spatio-temporal entity), (is a is inverse of is for example)
- University of the Witwatersrand is a spatio-temporal entity ⇐ (independent continuant is subclass of spatio-temporal entity), (University of the Witwatersrand is a independent continuant)
- University of the Witwatersrand is a object ⇐ (independent continuant is subclass of object), (University of the Witwatersrand is a independent continuant)
- entity is for example University of the Witwatersrand ⇐ (University of the Witwatersrand is a entity), (is a is inverse of is for example)
- independent continuant is for example University of the Witwatersrand ⇐ (University of the Witwatersrand is a independent continuant), (is a is inverse of is for example)
- organization is for example University of the Witwatersrand ⇐ (University of the Witwatersrand is a organization), (is a is inverse of is for example)
- person or organization is for example University of the Witwatersrand ⇐ (University of the Witwatersrand is a person or organization), (is a is inverse of is for example)
- University of the Witwatersrand has quality existence ⇐ (University of the Witwatersrand is a person or organization), (person or organization has quality existence)
- University of the Witwatersrand has quality aptitude ⇐ (University of the Witwatersrand is a person or organization), (person or organization has quality aptitude)
- University of the Witwatersrand has quality agency ⇐ (University of the Witwatersrand is a person or organization), (person or organization has quality agency)
- University of the Witwatersrand is a independent continuant ⇐ (public research university is subclass of independent continuant), (University of the Witwatersrand is a public research university)
- University of the Witwatersrand is a person or organization ⇐ (public research university is subclass of person or organization), (University of the Witwatersrand is a public research university)
- University of the Witwatersrand is a organization ⇐ (public research university is subclass of organization), (University of the Witwatersrand is a public research university)
- University of the Witwatersrand is a entity ⇐ (public research university is subclass of entity), (University of the Witwatersrand is a public research university)
- 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)
- 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)
- 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)