overlaps in time with (is overlapped in time by) – P118
P118 overlaps in time with (is overlapped in time by)
Domain:
Range:
Quantification:
0,n:0,n
Scope note:
This property identifies an overlap between the instances of E52 Time-Span of two instances of E2 Temporal Entity.
It implies a temporal order between the two entities: if A overlaps in time B, then A must start before B, and B must end after A. This property is only necessary if the relevant time spans are unknown (otherwise the relationship can be calculated).
This property is the same as the "overlaps / overlapped-by" relationships of Allen’s temporal logic (Allen, 1983, pp. 832-843).
Examples:
the Iron Age (E4) overlaps in time with the Roman period (E4)
In First Order Logic:
- P118(x,y) ⇒ E2(x)
- P118(x,y) ⇒ E2(y)
Scope notes
Examples
Additional notes
Identifier: P118
Official URI: http://www.cidoc-crm.org/cidoc-crm/P118_overlaps_in_time_with
OntoME URI: https://ontome.net/ontology/p106
Domain and range
crm:E2 Temporal Entity → P118 overlaps in time with (is overlapped in time by) → crm:E2 Temporal Entity (Quantifiers 0,n:0,n)
Labels
: Standard label for this language
Comments
No comment found.