search

zhengj2007 / bfo-export

Automatically exported from code.google.com/p/bfo
0 stars 0 forks source link

Interpretation of time-indexed assertions #186

Open GoogleCodeExporter opened 9 years ago

GoogleCodeExporter commented 9 years ago 
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 reported on code.google.com by steschu@gmail.com on 19 Nov 2013 at 10:10