About: contained in   Goto Sponge  NotDistinct  Permalink

An Entity of Type : owl:ObjectProperty, within Data Space : taxref.i3s.unice.fr associated with source document(s)

AttributesValues
rdf:type
inverseOf
label
  • contained in
domain
range
in_subset
owl:propertyChainAxiom
http://purl.obolib...g/obo/IAO_0000111
  • contained in
http://purl.obolib...g/obo/IAO_0000116
  • Intended meaning: domain: material entity range: spatial region or site (immaterial continuant)
  • Containment is location not involving parthood, and arises only where some immaterial continuant is involved.
  • Containment obtains in each case between material and immaterial continuants, for instance: lung contained_in thoracic cavity; bladder contained_in pelvic cavity. Hence containment is not a transitive relation. If c part_of c1 at t then we have also, by our definition and by the axioms of mereology applied to spatial regions, c located_in c1 at t. Thus, many examples of instance-level location relations for continuants are in fact cases of instance-level parthood. For material continuants location and parthood coincide. Containment is location not involving parthood, and arises only where some immaterial continuant is involved. To understand this relation, we first define overlap for continuants as follows: c1 overlap c2 at t =def for some c, c part_of c1 at t and c part_of c2 at t. The containment relation on the instance level can then be defined (see definition):
http://purl.obolib...g/obo/IAO_0000118
  • contained_in
http://purl.obolib...rg/obo/RO_0001900
is subPropertyOf of
Faceted Search & Find service v1.13.91 as of Jun 18 2018


Alternative Linked Data Documents: ODE     Content Formats:       RDF       ODATA       Microdata      About   
This material is Open Knowledge   W3C Semantic Web Technology [RDF Data]
OpenLink Virtuoso version 07.20.3217 as of Jun 15 2018, on Linux (x86_64-unknown-linux-gnu), Single-Server Edition (31 GB total memory)
Data on this page belongs to its respective rights holders.
Virtuoso Faceted Browser Copyright © 2009-2024 OpenLink Software