starts before or with the end of [P173] (P171): Difference between revisions

This property specifies that the temporal extent of the domain instance A of E2 Temporal Entity starts before or simultaneously with the end 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-start ≤ B-end is true. This property is part of the set of temporal primitives P173 – P176, P182 – P185. This property corresponds to the disjunction (logical OR) of the following Allen temporal relations (Allen, 1983): {before, meets, met-by, overlaps, starts, started-by, contains, finishes, finished-by, equals, during, overlapped by}. This property is not transitive. Figure 8: Temporal entity A starts before or with the end of temporal entity B. Here A is