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)
Attributes | Values |
---|---|
type | |
inverseOf | |
label |
|
domain | |
range | |
comment |
|
notation |
|
is inverseOf of |