P183 ends before the start of (starts after the end of) in version 7.1

Domain:
E2 Temporal Entity
Range:
E2 Temporal Entity
Subproperty of:
E2 Temporal Entity. P182 ends before or with the start of (starts after or with the end of): E2 Temporal Entity
Superproperty of: No superproperties found
Quantification:
many to many (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 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 Aend < 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}

This property is transitive.

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

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

Examples:
  • Gisle taking office as Bishop of Linköping 1139 AD (E7) ends before the start of The Guta saga composition (E65) (Peel, 1999)
  • Troy VII(E4) ends before the start of Troy VIII (E4) [uninhabited for some 200 years]
In First Order Logic:
P183(x,y) ⇒E2(x), P183(x,y) ⇒E2(y), P183(x,y) ⇒P182(x,y), [P183(x,y) ∧P183(y,z)] ⇒ P183(x,z)