This property identifies an overlap between the instances of E52 Time-Span of two instances of E2 Temporal Entity.
It implies a temporal order between the two entities: if A overlaps in time B, then A must start before B, and B must end after A. This property is only necessary if the relevant time spans are unknown (otherwise the relationship can be calculated).
This property is the same as the overlaps / overlapped-by relationships of Allen’s temporal logic (Allen, 1983, pp. 832-843).