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.) |
| 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 |
 Imported from: No type definition was found for "located_in" in the OBO_REL import. | |
 Categories: Property used in ontologies • Relation OntologyRDF feed | |
