ends before or with the start of [P182] (P187): Difference between revisions

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 = [A-start, A-end] and B = [B-start, B-end], it means A-end ≤ B-start 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}. This property is transitive. This property is asymmetric. Figure 16: Temporal entity A ends before or with the start of temporal entity B. Here A is longer than B Figure 17: Temporal entity A ends before or with the start of