I'm teaching myself new features of Mathematica 10 by playing with examples.
Here is an amusing case.
There is a California in Columbia:
GeoWithinQ[
Entity["Country", "Colombia"],
Entity["City", {"California", "Santander", "Colombia"}]
]
And, there is a Columbia in California:
GeoWithinQ[
Entity["AdministrativeDivision", {"California", "UnitedStates"}],
Entity["City", {"Columbia", "California", "UnitedStates"}]
]
Can anyone find similar cases where (semantically) A is a proper subset of B and B is a proper subset of A?