spatially disjoint from
A is spatially_disjoint_from B if and only if they have no parts in common
BFO_0000051 exactly 0 (BFO_0000050 some ?Y)
Chris Mungall
RO:0002163
There are two ways to encode this as a shortcut relation. The other possibility to use an annotation assertion between two classes, and expand this to a disjointness axiom.
mereotopologically related to