pending final vetting
eco subset
part of
part_of
part of
has part
has part
has_part
overlaps
overlaps
fly_anatomy.ontology
BFO_0000051 some (BFO_0000050 some ?Y)
spatial
zebrafish_anatomical_ontology
overlaps
RO:0002131
http://purl.obolibrary.org/obo/BFO_0000051 some (http://purl.obolibrary.org/obo/BFO_0000050 some ?Y)
overlaps
uberon
x overlaps y iff they have some part in common.
x overlaps y if and only if there exists some z such that x has part z and z part of y
"(forall (x y) (iff (overlaps x y) (exists (z) (and (part of z x) (part of z y)))))" CLIF []
external
mereotopologically related to
pending final vetting
axiom holds for all times