c contained_in c' at t if and only if: c located_in c' at t, and it is not the case that c *overlaps* c' at t. (c' is a conduit or cavity.) source: PMID:15892874

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

Examples

Other relations

This relation is the inverse of contains

id	OBO_REL_I:0000010
name	contained_in
properties
aliases
anti_symmetric
holds_between	independent_continuant and independent_continuant
reflexive
symmetric
transitive
all_some_in_reference_context
example
inverse_of	contains
text_definition	c contained_in c' at t if and only if: c located_in c' at t, and it is not the case that c *overlaps* c' at t. (c' is a conduit or cavity.)
text_definition_xref	PMID:15892874

Axioms for this relation:

axiom

contained_in( x, y, t) ↔ located_in( x, y, t) ∧ ¬ ( overlaps( x, y, t) )

Axioms that refer to this relation: