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

Examples

Additional notes

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

: Standard label for this language

Namespace

Parent properties

Ancestor properties

Child and descendant properties

Related properties

Profiles using this property

Comments