Scope note:
This property describes the inclusion relationship between two instances of E52 Time-Span.
This property supports the notion that a Time-Span’s temporal extent falls within the temporal extent of another Time-Span. It addresses temporal containment only, and no contextual link between the two instances of 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)
In First Order Logic:
P86(x,y) ⊃ E52(x)
P86(x,y) ⊃ E52(y)