P184 ends before or with the end of (ends with or after the end of) in version 7.1.1

Domain:
E2 Temporal Entity
Range:
E2 Temporal Entity
Subproperty of:
E2 Temporal Entity. P174 starts before the end of (ends after the start of): E2 Temporal Entity
Superproperty of:
E2 Temporal Entity. P185 ends before the end of (ends after the end of): E2 Temporal Entity
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 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, finished by, start, equals, during, finishes}.

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

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

In First Order Logic:
P184(x,y) ⇒ E2(x), P184(x,y) ⇒ E2(y), P184(x,y) ⇒ P174(x,y)