located inImported
a relation between two independent continuants, the target and the location, in which the target is entirely within the location
Defined byro
property Information
Characteristics
Transitive
Domain
- unknown class expression
- (independent continuantbfoandnotspatial regionbfo)
Range
- unknown class expression
- (independent continuantbfoandnotspatial regionbfo)
editor note
- 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
- Most location relations will only hold at certain times, but this is difficult to specify in OWL. See http://purl.obolibrary.org/obo/ro/docs/temporal-semantics/
in_subset
property Relations
Inverse of