?- ?X::?Y.

delivers all subconcepts ?Y of concept ?X – not only the asserted ones, but also the subconcepts of the subconcepts and so on

This means that if

C1::C2 and C2::C3 then also C1::C3 holds.