By calculation (generator: ["now@trueknowledge.com"]) I know that:
The current time is February 14th 2012, 11:17:50
I know from locally stored knowledge that:
Fact 1:
2 Days in the Valley
was first published at timepoint
1996
([fact: ["128364977@trueknowledge.com"]])
By calculation (generator: ["perm5@trueknowledge.com"]) I know that:
Fact 1
is true for
all time
I know from locally stored knowledge that:
permanent
applies to
was first published at timepoint
([fact: ["1143043@trueknowledge.com"]])
permanent
applies to
film
([fact: ["1131427@trueknowledge.com"]])
By calculation (generator: ["permanent@trueknowledge.com"]) I know that:
the fact 128364975@trueknowledge.com
is true for
all time
By calculation (generator: ["tpintersect@trueknowledge.com"]) I know that:
all time
is the timeperiod intersection of
all time and all time
Therefore (generator: ["nonzero_historical_order1@trueknowledge.com"]):
Fact 2:
0
is not the historical order of the fact pattern
facts of the form: X was first published at timepoint 1996 (where X is an instance of film)
By calculation (generator: ["nonzero_historical_order1@trueknowledge.com"]) I know that:
Fact 2
is true for
all time
By calculation (generator: ["timeperiodtopoint@trueknowledge.com"]) I know that:
Fact 2
is true at
February 14th 2012, 11:17:50