starts before the end of (ends after the start of) – P174
P174 starts before the end of (ends after the start 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 starts definitely before 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 Astart < 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, starts, started-by, contains, finishes, finished-by, equals, during, overlapped by}
Typically, this property is a consequence of a known influence of some event on another event or activity, such as a novel written by someone being continued by someone else, or the knowledge of a defeat on a distant battlefield causing people to end their ongoing activities. This property is not transitive. This property is irreflexive.
Figure 10: Temporal entity A starts before the end of temporal entity B. Here A is longer than B
Figure 11: Temporal entity A starts before the end of temporal entity B. Here A is shorter than B
Examples:
The settling activity of the city of Assur (Ashur) (E7) starts before the end of The Tenth Dynasty of Egypt (E4). [There are some 200 - 300 years differences in the chronology of the First Intermediate Period, and Assur is dated to “about 2500 BC”.] (Pedersén, 1986)
The building of the current St. Peters in Rome (E7) starts before the end of the demolition of the old 4th c. St. Peters (E6, E7) (Bosman, 2004)
In First Order Logic:
- P174(x,y) ⇒ E2(x)
- P174(x,y) ⇒ E2(y)
- P174(x,y) ⇒ P173(x,y)
Scope notes
Examples
Additional notes
Identifier: P174
Official URI: http://www.cidoc-crm.org/cidoc-crm/P174_starts_before_the_end_of
OntoME URI: https://ontome.net/ontology/p1902
Domain and range
crm:E2 Temporal Entity → P174 starts before the end of (ends after the start of) → crm:E2 Temporal Entity (Quantifiers 0,n:0,n)
Labels
: Standard label for this language
Comments
No comment found.