Primitive source: PMID:15892874

Location as a relation between instances: The primitive instance-level relation c located_in r at t reflects the fact that each continuant is at any given time associated with exactly one spatial region, namely its exact location. Following we can use this relation to define a further instance-level location relation - not between a continuant and the region which it exactly occupies, but rather between one continuant and another. c is located in c1, in this sense, whenever the spatial region occupied by c is part_of the spatial region occupied by c1. Note that this relation comprehends both the relation of exact location between one continuant and another which obtains when r and r1 are identical (for example, when a portion of fluid exactly fills a cavity), as well as those sorts of inexact location relations which obtain, for example, between brain and head or between ovum and uterus

Examples

Other relations

This relation is the inverse of location_of

id	OBO_REL_I:0000008
name	located_in
properties	reflexive transitive
aliases
anti_symmetric
holds_between	continuant and independent_continuant
reflexive	true
symmetric
transitive	true
all_some_in_reference_context
example
inverse_of	location_of
text_definition	Primitive
text_definition_xref	PMID:15892874
transitive_over	part_of

Axioms for this relation:

axiom

located_in( c, c1) ↔ part_of( regionFn( c) , regionFn( c1) )

Axioms that refer to this relation:

axiom	contained_in( x, y, t) ↔ located_in( x, y, t) ∧ ¬ ( overlaps( x, y, t) )
axiom	Axiom: p occurs_in s at t iff forall c such that c participates_in p at t, c located_in s at t occurs_in( p, s, t) ↔ ∀ c[ has_participant( p, c, t) → located_in( c, s, t) ]