finishes (is finished by) – P115
P115 finishes (is finished by)
Domain:
Range:
Quantification:
0,n:0,n
Scope note:
This property allows the ending point for a E2 Temporal Entity to be situated by reference to the ending point of another temporal entity of longer duration.
This property is only necessary if the time span is unknown (otherwise the relationship can be calculated). This property is the same as the "finishes / finished-by" relationships of Allen’s temporal logic (Allen, 1983, pp. 832-843).
Examples:
Late Bronze Age (E4) finishes Bronze Age (E4)
In First Order Logic:
- P115(x,y) ⇒ E2(x)
- P115(x,y) ⇒ E2(y)
Scope notes
Examples
Additional notes
Identifier: P115
Official URI: http://www.cidoc-crm.org/cidoc-crm/P115_finishes
OntoME URI: https://ontome.net/ontology/p103
Domain and range
crm:E2 Temporal Entity → P115 finishes (is finished by) → crm:E2 Temporal Entity (Quantifiers 0,n:0,n)
Labels
: Standard label for this language
Comments
No comment found.