temporal argument in s-depends_on redundant

[fabianneuhaus]

It seems to me that the temporal argument in s-depends_on is redundant. because the two axioms in 23 determine that (s-depends_on x y t) is true only when x exists at t. thus, it is simpler to introduce a binary relationship. If one wants to, one can define the ternary relationship as follows (s-depends_on x y t) iff (s-depends_on x y) & (exists_at x t)

[fabianneuhaus]

A corollary of this change is that [015-002] and [016-001], [127-001], [128-001] are redundant

[fabianneuhaus]

One benefit of this approach is that according to the axiomatization of s-depends_on with time argument it may be the case that (x s-depends_on y at t), even though y does not exist. E.g., let x be a soccer game and y be a player that plays through the first half and then gets killed during half-time. According to the axioms in the BFO reference x s-depends_on y during the second half of the game, although the player is dead. -- This issue is avoided by dropping a temporal argument

[phismith]

I approve of dropping the temporal argument, but you should check it with others to see what they think