OntologiesaismpropertiesRO:0002131   
JSON document
overlapsImported
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.

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

Defined byro
Also appears incdnonboswoohpiagro + 86
property Information
Characteristics

Symmetric

expand expression to

BFO_0000050 some ?Y)

has curation status

pending final vettingiao

has_dbxref

overlapsro

has_obo_namespace
  • spatial
  • uberon
shorthand

overlaps

temporal interpretation

axiom holds for all timesro

property Relations