overlapsImported
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
property Information
Characteristics
Symmetric
expand expression to
has curation status
has_obo_namespace
- spatial
- uberon
shorthand
overlaps
temporal interpretation