starts before the start of (starts after the start of) – P176

P176 starts before the start of (starts after the start of)

Quantification:

0,n:0,n

Scope note:

This property specifies that the temporal extent of the domain instance A of E2 Temporal Entity starts definitely before the start 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 < Bstart 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, contains, finished-by}. This property is transitive. This property is asymmetric.



Figure 14: Temporal entity A starts before the start of temporal entity B. Here A is longer than B



Figure 15: Temporal entity A starts before the start of temporal entity B. Here A is shorter than B

Examples:

The reign of King Harold II (E4) starts before the start of the Battle of Hastings (E7). (Wikipedia 2022a)

The life of Attila “the Hun” (E4) starts before the start of the Battle of the Catalaunian Plains (E7). [June 20, 451 AD] (Wikipedia 2022b)

In First Order Logic:

  • P176(x,y) ⇒ E2(x)
  • P176(x,y) ⇒ E2(y)
  • P176(x,y) ⇒ P175(x,y)

Scope notes

Examples

Additional notes

Identifier: P176

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

Domain and range

crm:E2 Temporal Entity → P176 starts before the start of (starts after the start 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