adjacent_to
attaches_to
bounded_by
does NOT imply part of (a boundary is ny necessity between two things). E.g. GO:0030287 cell wall-bounded periplasmic space. x and y are externally connected and the whole of the external boundary of x is in contact with y. (ie holes don't count)
bounds
completely_bounded_by
x and y are externally connected and the whole boundary of x is in contact with y.
complex_of
Example: polysome complex_of ribosome
X complex_of Y all instance of X has_part y1 and has_part y2 where y1 and y2 are distinct instances of Y
continuous_with
extrinsic_to
has_part
inner_part_of
lacks_part
outer_part_of
overlaps
x overlaps y if there is some region that is part of both x and y
partially_enclosed_by
a cross-section of x is surrounded_by y. i.e. x is an invagination within y
perforates
x perforates y if x is part of y and x surrounds a space that is adjacent_to the inside and outside of y
spans
A spans B iff A overlaps B and A overlaps the two regions on either side of B
surrounded_by
in GO, if X surrounded_by Y then X has_part Y
surrounds
in GO, if X surrounds Y then X is part of Y. To resolve: differentiate complete vs partial surroundment? eg axolemma