c adjacent to c' if and only if: c and c' are in spatial proximity

Note that adjacent_to is only symmetric at the instance level

Examples

Other relations

This relation has no inverse relations declared

id	OBO_REL_I:0000012
name	adjacent_to
properties	symmetric
aliases
anti_symmetric
holds_between	independent_continuant and independent_continuant
reflexive
symmetric	true
transitive
all_some_in_reference_context
example
text_definition	c adjacent to c' if and only if: c and c' are in spatial proximity

Axioms for this relation:

axiom

adjacent_to( x, y) → ¬ ( overlaps( x, y) )

Axioms that refer to this relation: