Interpretation of time-indexed assertions

[zhengj2007]

From [email protected] on November 19, 2013 05:10:18

Does the following theorem hold:

x and y are continuants, rel a ternary relation with time as its third argument, and t a one-dimensional temporal region (i.e. spatially extended).

Given

x rel y at t

then

for all t', if t' temporal part of t, then x rel y at t'

Example:
MonaLisa located_in Louvre at 2012

Entails:
MonaLisa located_in Louvre at 2012-06-14
MonaLisa located_in Louvre at 2012-06-14-13:55
MonaLisa located_in Louvre at 2012-06-14-13:55:23
etc.

Original issue: http://code.google.com/p/bfo/issues/detail?id=186