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
| Show | Scope note | Language | Namespace | View details | Comments |
|---|---|---|---|---|---|
| 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 | en | CIDOC CRM version 7.1.3 | 0 | ||
| Cette propriété précise que l'étendue temporelle de l'instance du domaine (A) de E2_Entité_temporelle se termine avant ou au moment de la fin de l'instance de la portée (B) de E2_Entité_temporelle.En d'autres termes, si A = [Adébut, Afin] et B = [Bdébut, Bfin], alors Afin ≤ Bfin est vrai.Cette propriété fait partie de l'ensemble des propriétés temporelles P173 à P176 et P182 à P185.Cette propriété correspond à une disjonction (OU logique) des relations définies par l'algèbre des intervalles d'Allen suivantes (Allen, 1983) : {se déroule avant, rencontre, chevauche, termine par, démarre, est égal à, se déroule pendant, termine}. Cette propriété est irréflexive. Figure 20 : L'entité temporelle A termine avant ou au moment de la fin de l'entité temporelle B. Ici, A est plus long que B.Figure 21 : L'entité temporelle A termine avant ou au moment de la fin de l'entité temporelle B. Ici, A est plus court que B. | fr | CIDOC CRM version 7.1.3 | 0 |
Examples
| Show | Example | Language | Namespace | View details | Comments |
|---|---|---|---|---|---|
| The reign/life of Harold II (E4) ends before or with the end of the Battle of Hastings (E7) | en | CIDOC CRM version 7.1.3 | 0 | ||
| Le règne du roi Harold II (E4_Période) se termine avant ou au moment de la fin (P184_se_termine_avant_ou_au_moment_de_la_fin_de) de la bataille de Hastings (E7_Activité) (Wikipédia 2022a) | fr | CIDOC CRM version 7.1.3 | 0 |
Additional notes
| Show | Notes | Type | Language | Namespace | View details | Comments |
|---|
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
| Label | Language | Last updated | View details | Comments |
|---|---|---|---|---|
| ends before or with the end of (ends with or after the end of) * | en | 2022-06-13 | 0 | |
| se termine avant ou au moment de la fin de (se termine au moment de ou après la fin de) * | fr | 2024-03-21 | 0 |
: Standard label for this language
Namespace
| Namespace | Last updated |
|---|---|
| CIDOC CRM version 7.1.3 | 2022-06-13 |
Parent properties
| Domain | Property | Range | Property namespace | Relation defined in | Justification | View details | Edit | Delete | Comments | ||
|---|---|---|---|---|---|---|---|---|---|---|---|
| crm:E2 Temporal Entity | (0,n) | P174 starts before the end of (ends after the start of) | (0,n) | crm:E2 Temporal Entity | CIDOC CRM version 7.1.3 | CIDOC CRM version 7.1.3 | 0 |
Ancestor properties
| Domain | Property | Range | Depth | Property namespace | ||
|---|---|---|---|---|---|---|
| crm:E2 Temporal Entity | (0,n) | P173 starts before or with the end of (ends after or with the start of) | (0,n) | crm:E2 Temporal Entity | 2 | CIDOC CRM version 7.1.3 |
Child and descendant properties
| Domain | Property | Range | Depth | Property namespace | ||
|---|---|---|---|---|---|---|
| crm:E2 Temporal Entity | (0,n) | P182 ends before or with the start of (starts after or with the end of) | (0,n) | crm:E2 Temporal Entity | 2 | CIDOC CRM version 7.1.3 |
| crm:E2 Temporal Entity | (0,n) | P183 ends before the start of (starts after the end of) | (0,n) | crm:E2 Temporal Entity | 3 | CIDOC CRM version 7.1.3 |
| crm:E2 Temporal Entity | (0,n) | P185 ends before the end of (ends after the end of) | (0,n) | crm:E2 Temporal Entity | 1 | CIDOC CRM version 7.1.3 |
Related properties
| Relation | Property | Property namespace | Relation defined in | Justification | View details | Edit | Delete | Comments |
|---|
Profiles using this property
| Label | Version | Status | Last updated |
|---|
Comments
No comment found.