Property information
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).
Relation between continuant c and occurrent s, such that every instance of c ceases to exist during some s, if it does not die prematurely.
Synonyms: ceases_to_exist_during
comment
The relations here were created based on work originally by Fabian Neuhaus and David Osumi-Sutherland. The work has not yet been vetted and errors in definitions may have occurred during transcription.