Property info
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
id
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
Property relations
Parents