P10 falls within (contains) in version 7.1.1

Domain:
E92 Spacetime Volume
Range:
E92 Spacetime Volume
Subproperty of:
E92 Spacetime Volume. P132 spatiotemporally overlaps with : E92 Spacetime Volume
Superproperty of:
E93 Presence. P166 was a presence of (had presence): E92 Spacetime Volume
Quantification:
many to many,necessary,dependent (1,n,0,n)
Scope Note:

This property associates an instance of E92 Spacetime Volume with another instance of E92 Spacetime Volume that falls within the latter. In other words, all points in the former are also points in the latter.

This property is transitive and reflexive.

Examples:
  • The Great Plague (E4) falls within The Gothic period (E4). (Porter, 2009)
In First Order Logic:
P10(x,y) ⇒ E92(x), P10(x,y) ⇒ E92(y), P10(x,y) ⇒ P132(x,y), P10(x,y) ∧ P10(y,z)] ⇒ P10(x,z), P10(x,x)