Deductions
- St John's College Library Special Collections, University of Cambridge is part of Oxbridge ⇐ (St John's College Library Special Collections, University of Cambridge is part of St John's College), (St John's College is part of Oxbridge), (is part of is a transitive relation)
- St John's College Library Special Collections, University of Cambridge is part of St John's College ⇐ (St John's College Library Special Collections, University of Cambridge is part of St John's College Library), (St John's College Library is part of St John's College), (is part of is a transitive relation)
- St John's College Library Special Collections, University of Cambridge is part of University of Cambridge ⇐ (St John's College Library Special Collections, University of Cambridge is part of St John's College Library), (St John's College Library is part of University of Cambridge), (is part of is a transitive relation)
- academic archive is for example St John's College Library Special Collections, University of Cambridge ⇐ (St John's College Library Special Collections, University of Cambridge is a academic archive), (is a is inverse of is for example)