Attribut:P173 starts before or with the end of

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}\le 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.

Page