x overlaps y if and only if: there is some z such that: z part_of x and z part_of y (i.e. x and y share a part)

note that the definition of overlaps includes the case where x is part_of y - for example, a nucleus overlaps a cell. We also have the *partial_overlaps* relation for those cases where x and y overlap but neither is part of the other

Examples

Other relations

This relation has no inverse relations declared

id	OBO_REL_I:0000201
name	overlaps
properties	reflexive symmetric
aliases
anti_symmetric
holds_between	independent_continuant and independent_continuant
reflexive	true
symmetric	true
transitive
all_some_in_reference_context
example
text_definition	x overlaps y if and only if: there is some z such that: z part_of x and z part_of y (i.e. x and y share a part)

Axioms for this relation:

axiom

overlaps( x, y) ↔ ∃ z[ part_of( z, x) ∧ part_of( z, y) ]

Axioms that refer to this relation:

axiom	partially_overlaps( x, y) ↔ overlaps( x, y) ∧ ¬ ( part_of( x, y) ) ∧ ¬ ( part_of( y, x) )
axiom	contained_in( x, y, t) ↔ located_in( x, y, t) ∧ ¬ ( overlaps( x, y, t) )
axiom	adjacent_to( x, y) → ¬ ( overlaps( x, y) )
axiom	exists_at( x, t) ∧ ∀ z[ overlaps( z, x, t) → overlaps( y, x, t) ] → part_of( x, y, t)