However, "contained in" is transitive. It must know that the Nile is in Egypt, which is in Africa. I suppose the question is whether Mathematica knows about tha

However, "contained in" is transitive. It must know that the Nile is in Egypt, which is in Africa. I suppose the question is whether Mathematica knows about that transitivity; my bet is that it should; after all it is mathematical software.