Property:OBO REL:located in
Definitions and properties of term located in (term identifier: located_in):
|Label:||located in (OBO 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.)|
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
| Imported from: |
No type definition was found for "located_in" in the OBO_REL import.
|Categories: Property used in ontologies • Relation Ontology|