overlaps

http://purl.obolibrary.org/obo/RO_0002131

x overlaps y if and only if there exists some z such that x has part z and z part of y

x overlaps y iff they have some part in common.

comment

"(forall (x y) (iff (overlaps x y) (exists (z) (and (part of z x) (part of z y)))))" CLIF []

database cross reference

RO:0002131

expand expression to

http://purl.obolibrary.org/obo/BFO_0000051 some (http://purl.obolibrary.org/obo/BFO_0000050 some ?Y),BFO_0000051 some (BFO_0000050 some ?Y)

has curation status

http://purl.obolibrary.org/obo/IAO_0000125

has obo namespace

external,uberon,spatial

overlaps

imported from

http://purl.obolibrary.org/obo/uberon.owl,http://purl.obolibrary.org/obo/ro.owl,http://purl.obolibrary.org/obo/cl.owl

shorthand

overlaps

temporal interpretation

http://purl.obolibrary.org/obo/RO_0001901

Parents

mereotopologically related to