Trinity College

Deductions

• Trinity College is part of Oxbridge ⇐ (Trinity College is part of University of Cambridge), (University of Cambridge is part of Oxbridge), (is part of is a transitive relation)
• colleges within universities in the United Kingdom is for example Trinity College ⇐ (Trinity College is a colleges within universities in the United Kingdom), (is a is inverse of is for example)
• Trinity College is a colleges within universities in the United Kingdom ⇐ (college of the University of Cambridge is subclass of colleges within universities in the United Kingdom), (Trinity College is a college of the University of Cambridge)
• college of the University of Cambridge is for example Trinity College ⇐ (Trinity College is a college of the University of Cambridge), (is a is inverse of is for example)