part_of
part of
connected to
a is connected to b if and only if a and b are discrete structure, and there exists some connecting structure c, such that c connects a and b
mereotopologically related to
system