part_of part of part of has_part has part has part overlaps overlaps overlaps RO:0002131 A overlaps B if they share some part in common. http://purl.obolibrary.org/obo/BFO_0000051 some (http://purl.obolibrary.org/obo/BFO_0000050 some ?Y) overlaps uberon x overlaps y if and only if there exists some z such that x has part z and z part of y external mereotopologically related to pending final vetting axiom holds for all times