P86 falls within (contains) in version 7.1.1

Domain:
E52 Time-Span
Range:
E52 Time-Span
Subproperty of:
No subproperties found
Superproperty of: No superproperties found
Quantification:
many to many (0,n,0,n)
Scope Note:

This property describes the inclusion relationship between two instances of E52 Time-Span.

This property supports the notion that the temporal extent of an instance of E52 Time-Span falls within the temporal extent of another instance of E52 Time-Span. It addresses temporal containment only, and no contextual link between the two instances of E52 Time-Span is implied. This property is transitive.

Examples:
  • The time-span of the Apollo 11 moon mission (E52) falls within the time-span of the reign of Queen Elizabeth II (E52). (Riley, 2009) (Robinson, 2000)
In First Order Logic:
P86(x,y) ⇒ E52(x), P86(x,y) ⇒ E52(y), [P86(x,y) ∧ P86(y,z)] ⇒ P86(x,z)