This HTML5 document contains 17 embedded RDF statements represented using HTML+Microdata notation.

The embedded RDF content will be recognized by any processor of HTML5 Microdata.

Subject Item

n2:RO_0001018

rdf:type

owl:ObjectProperty

owl:inverseOf

n2:RO_0001019

rdfs:label

contained in

rdfs:domain

n2:BFO_0000040

rdfs:range

n2:BFO_0000004

obo:inSubset

n6:ro-eco

owl:propertyChainAxiom

_:vb1214380

n2:IAO_0000111

contained in

n2:IAO_0000116

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): Containment is location not involving parthood, and arises only where some immaterial continuant is involved. Intended meaning: domain: material entity range: spatial region or site (immaterial continuant)

n2:IAO_0000118

contained_in

n2:RO_0001900

n2:RO_0001901

Subject Item

_:vb1214379

rdf:first

n2:BFO_0000050

rdf:rest

rdf:nil

Subject Item

_:vb1214380

rdf:first

n2:RO_0001025

rdf:rest

_:vb1214379