C adjacent to C' if and only if: given any instance c that instantiates C at a time t, there is some c' such that: c' instantiates C' at time t and c and c' are in spatial proximity source: PMID:15892874
Note that adjacent_to_some as defined is not a symmetric relation, in contrast to its instance-level counterpart. For it can be the case that Cs are in general such as to be adjacent to instances of C1 while no analogous statement holds for C1s in general in relation to instances of C. Examples are: nuclear membrane adjacent_to_some cytoplasm; seminal vesicle adjacent_to_some urinary bladder; ovary adjacent_to_some parietal pelvic peritoneum
Examples
Other relations
This relation holds in a all-some-all-times over the instance-level relation: adjacent_to
This relation has no inverse relations declared
| id | OBO_REL_C:0000012 |
| name | adjacent_to |
| properties |
|
| aliases |
|
| anti_symmetric | |
| holds_between | |
| reflexive | |
| symmetric | |
| transitive | |
| all_some_all_times | adjacent_to |
| all_some_in_reference_context | |
| example | |
| text_definition | C adjacent to C' if and only if: given any instance c that instantiates C at a time t, there is some c' such that: c' instantiates C' at time t and c and c' are in spatial proximity |
| text_definition_xref | PMID:15892874 |
Axioms for this relation:
Axioms that refer to this relation:

