P182 ends before or with the start of (starts after or with the end of) in version 7.1
Domain:
Range:
Subproperty of:
| E2 Temporal Entity. P176 starts before the start of (starts after the start of): E2 Temporal Entity |
| E2 Temporal Entity. P185 ends before the end of (ends after the end of): E2 Temporal Entity |
Superproperty of:
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 before or simultaneously with 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, meets}
Figure 9: Temporal entity A ends before or with the start of temporal entity B. Here A is longer than B
Figure 10: Temporal entity A ends before or with the start of temporal entity B. Here A is shorter than B
In First Order Logic:
P182(x,y) ⇒E2(x), P182(x,y) ⇒E2(y), P182(x,y) ⇒P176(x,y), P182(x,y) ⇒P185(x,y)