View source for Property:OBO REL:located in

{{Property used in ontologies
|label=located in
|namespace code=OBO_REL
|term identifier=located_in
|collection=OBO Relation Ontology
|category=Relation Ontology
|definition=C ''[[located_in]]'' 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.)
|remarks=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
}}