C located_in_some C' if and only if: given any c that instantiates C at a time t, there is some c' such that: c' instantiates C' at time t and c *located_in* c'. (Here *located_in* is the instance-level location relation.)

Examples

Other relations

This relation holds in a all-some-all-times over the instance-level relation: located_in

This relation has no inverse relations declared

Note that on the instance-level, located_in is the inverse of location_of, the instance form of location_of

id	OBO_REL_C:0000008
name	located_in
properties	reflexive transitive
aliases
anti_symmetric
holds_between
reflexive	true
symmetric
transitive	true
all_some_all_times	located_in
all_some_in_reference_context
example
reciprocal_relation	location_of
text_definition	C located_in_some C' if and only if: given any c that instantiates C at a time t, there is some c' such that: c' instantiates C' at time t and c *located_in* c'. (Here *located_in* is the instance-level location relation.)
transitive_over	part_of

Axioms for this relation:

Axioms that refer to this relation: