"A is disconnected_from B if they have no parts in common."^^ . "Class: EquivalentTo: (BFO_0000050 some ?X) and (BFO_0000050 some ?Y)"^^ . "ENVO"^^ . "disconnected_from"^^ . . "non_overlapping_with"^^ . "true"^^ . "disconnected_from"^^ . "true"^^ .