This version of OLS (OLS3) is no longer updated and will be replaced by OLS4 on 30th October 2023.

Help us test the new version of OLS, with updated versions of ontologies and lots of new features!

Property information

alternative term


editor note

Intended meaning: domain: material entity range: spatial region or site (immaterial continuant)

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):

editor preferred term

contained in

temporal interpretation

Property relations