ends before the end of (ends after the end of) – P185

P185 ends before the end of (ends after the end of)

Quantification:

0,n:0,n

Scope note:

This property specifies that the temporal extent of the domain instance A of E2 Temporal Entity ends 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 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, starts, during}.

This property is transitive. This property is asymmetric.



Figure 22: Temporal entity A ends before the end of temporal entity B. Here A is longer than B



Figure 23: Temporal entity A ends before the end of temporal entity B. Here A is shorter than B

Examples:

Godstow Abbey, Oxfordshire as a working abbey (E4 Period) ends before the end of the reign of Henry VIII (E4 Period).

In First Order Logic:

  • P185(x,y) ⇒ E2(x)
  • P185(x,y) ⇒ E2(y)
  • P185(x,y) ⇒ P184(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 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 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, starts, during}.This property is transitive. This property is asymmetric. Figure 22: Temporal entity A ends before the end of temporal entity B. Here A is longer than B Figure 23: Temporal entity A ends before 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 définitivement avant 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, démarre, se déroule pendant}.Cette propriété est transitive et asymétrique.Figure 22 : L'entité temporelle A termine avant la fin de l'entité temporelle B. Ici, A est plus long que B.Figure 23 : L'entité temporelle A termine avant 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
Godstow Abbey, Oxfordshire as a working abbey (E4 Period) ends before the end of the reign of Henry VIII (E4 Period). en CIDOC CRM version 7.1.3 0
L'abbaye de Godstow, dans l'Oxfordshire au Royaume-Uni, en tant qu'abbaye fonctionnelle (E4_Période) se termine avant la fin du (P185_se_termine_avant_la_fin_de) règne de Henry VIII (E4_Période) fr CIDOC CRM version 7.1.3 0

Additional notes

Show Notes Type Language Namespace View details Comments

Identifier: P185

Official URI: http://www.cidoc-crm.org/cidoc-crm/P185_ends_before_the_end_of
OntoME URI: https://ontome.net/ontology/p1911

Domain and range

crm:E2 Temporal Entity → P185 ends before the end of (ends after the end of) → crm:E2 Temporal Entity  (Quantifiers 0,n:0,n)

Labels

Label Language Last updated View details Comments
ends before the end of (ends after the end of) * en 2022-06-13 0
se termine avant la fin de (se termine 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) P184 ends before or with the end of (ends with or after the end 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 3 CIDOC CRM version 7.1.3
crm:E2 Temporal Entity (0,n) P174 starts before the end of (ends after 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 1 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 2 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