dup definitions: existence starts at point & existence ends at point

[srobb1]

Hello,

I noticed that these two terms have the same def.

id	label	def
RO:0002583	existence starts at point	x existence starts at point y if and only if the time point at which x starts is equivalent to the time point at which y ends.
RO:0002593	existence ends at point	x existence starts at point y if and only if the time point at which x starts is equivalent to the time point at which y ends.

Would you like me to update and make a pull request? Though I am a bit confused by 'point at which y ends' part of the definition. How can x start at point y if y is ending?

Sofia

[phismith]

It is perhaps interesting that 2 of the (very small number of) additions in BFO 2020 (as compared to BFO 2.0) is the addition of two new relations first-instant-of and last-instant-of with domain: process and range: time instant I don't think the definiendum in RO:0002583 <http://purl.obolibrary.org/obo/RO_0002583> makes sense in English

…

On Tue, Jan 21, 2020 at 4:49 PM Sofia Robb ***@***.***> wrote: Hello, I noticed that these two terms have the same def. id label def RO:0002583 <http://purl.obolibrary.org/obo/RO_0002583> existence starts at point x existence starts at point y if and only if the time point at which x starts is equivalent to the time point at which y ends. RO:0002593 <http://purl.obolibrary.org/obo/RO_0002593> existence ends at point x existence starts at point y if and only if the time point at which x starts is equivalent to the time point at which y ends. Would you like me to update and make a pull request? Though I am a bit confused by 'point at which y ends' part of the definition. How can x start at point y if y is ending? Sofia — You are receiving this because you are subscribed to this thread. Reply to this email directly, view it on GitHub <#346?email_source=notifications&email_token=AB7KUN4Q2DRXUARWWIYDC53Q65UVZA5CNFSM4KJ3FVYKYY3PNVWWK3TUL52HS4DFUVEXG43VMWVGG33NNVSW45C7NFSM4IHYOS6A>, or unsubscribe <https://github.com/notifications/unsubscribe-auth/AB7KUN36PSGK4N5UECBLMDLQ65UVZANCNFSM4KJ3FVYA> .

[srobb1]

I think that for

RO:0002583	existence starts at point

The definition could change:

from:
X existence starts at point y if and only if the time point at which x starts is equivalent to the time point at which y ends.

to:

1. X existence starts at point y if and only if the time point at which x starts is equivalent to a time point after y begins and before y ends.

-or-

2. X existence starts at point y if and only if the time point at which x starts is equivalent to a discrete time point which is y.

It seems that y should be a discrete instant, a single moment, and not a time range. If so, suggestion 2 fits better.

Sofia

[nlharris]

Is this still needed?

[cmungall]

Fixed in #357

[cmungall]

the definitions are now distinct, and I believe formally correct, if a little formal. Open new issues/PRs for any further clarifications