Property information
x existence ends during or before y if and only if the time point at which x ends is before or equivalent to the time point at which y ends.
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.