search

BFO-ontology / BFO-2020

A repository for BFO 2020 artifacts specified in ISO 21838-2:2020
79 stars 28 forks source link

BUG: Superfluous variable in textual definition of ‘first instant of’ #98

Open gregfowlerphd opened 2 months ago

gregfowlerphd commented 2 months ago

Describe the bug

The definition reads:

t first instant of t' =Def t is a temporal instant & t' is a temporal region t' & t precedes all temporal parts of t' other than t

Take a look at the second conjunct. The second instance of t’ there (after 'region') seems to be a typo.

Expected behavior

The relevant instance of t' should be deleted.

alanruttenberg commented 2 months ago

Not sure where this was introduced. The source (from which BFO is built) has DEFINITION: Temporal instant t first instant of temporal region t' =Def. t precedes all temporal parts of t' other than t [268-BFO]

gregfowlerphd commented 2 months ago

@alanruttenberg: Yeah, that's odd. It looks like it must have been introduced when it was decided to move the specifications of t as a temporal instant and t' as a temporal region to the right-hand side of the "=Def". Notice that "temporal region t' " appears in the source. Presumably it was just copied-and-pasted over to the right-hand side and then "t' is a" was inserted in front of it.