existence_ends_during
x existence ends during y if and only if the time point at which x ends is before or equivalent to the time point at which y ends and after or equivalent to the point at which y starts. Formally: x existence ends during y iff ω(x) <= ω(y) and ω(x) >= α(y).
RO:0002490
existence_overlaps
is_a
RO:0002497
existence_ends_during_or_before
is_a