existence_starts_with
x starts ends with y if and only if the time point at which x starts is equivalent to the time point at which y starts. Formally: x existence starts with y iff α(x) = α(y).
RO:0002488
existence_starts_during
is_a