existence_ends_with
x existence ends with y if and only if the time point at which x ends is equivalent to the time point at which y ends. Formally: x existence ends with y iff ω(x) = ω(y).
RO:0002492
existence_ends_during
is_a