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.
From steschu@gmail.com 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