ends before or with the end of (ends with or after the end of) – P184
P184 ends before or with the end of (ends with or after the end of)
Domain:
Range:
Quantification:
0,n:0,n
Subproperty of:
Superproperty of:
Scope note:
This property specifies that the temporal extent of the domain instance A of E2 Temporal Entity ends before or simultaneously with the end of the temporal extent of the range instance B of E2 Temporal Entity.
In other words, if A = [Astart, Aend] and B = [Bstart, Bend], we mean Aend ≤ Bend is true.
This property is part of the set of temporal primitives P173 – P176, P182 – P185.
This property corresponds to a disjunction (logical OR) of the following Allen temporal relations (Allen, 1983): {before, meets, overlaps, finished by, start, equals, during, finishes}.
This property is irreflexive
Figure 20: Temporal entity A ends before or with the end of temporal entity B. Here A is longer than B
Figure 21: Temporal entity A ends before or with the end of temporal entity B. Here A is shorter than B
Examples:
The reign/life of Harold II (E4) ends before or with the end of the Battle of Hastings (E7)
In First Order Logic:
- P184(x,y) ⇒ E2(x)
- P184(x,y) ⇒ E2(y)
- P184(x,y) ⇒ P174(x,y)
Scope notes
Examples
Additional notes
Identifier: P184
Official URI: http://www.cidoc-crm.org/cidoc-crm/P184_ends_before_or_with_the_end_of
OntoME URI: https://ontome.net/ontology/p1910
Domain and range
crm:E2 Temporal Entity → P184 ends before or with the end of (ends with or after the end of) → crm:E2 Temporal Entity (Quantifiers 0,n:0,n)
Labels
: Standard label for this language
Comments
No comment found.