college of the University of Cambridge

Deductions

• college of the University of Cambridge is part of Oxbridge ⇐ (college of the University of Cambridge is part of University of Cambridge), (University of Cambridge is part of Oxbridge), (is part of is a transitive relation)
• college of the University of Cambridge is for example St John's College ⇐ (St John's College is a college of the University of Cambridge), (is a is inverse of is for example)
• 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)