By calculation (generator: ["now@trueknowledge.com"]) I know that:
The current time is February 12th 2012, 22:48:47
I know from locally stored knowledge that:
Fact 1:
The Beijing Olympics
is a
Olympics
([fact: ["123937653@trueknowledge.com"]])
By calculation (generator: ["permanent@trueknowledge.com"]) I know that:
Fact 1
is true for
all time
By calculation (generator: ["timeperiodtopoint@trueknowledge.com"]) I know that:
Fact 1
is true at
February 12th 2012, 22:48:47
I know from locally stored knowledge that:
permanent
applies to
Olympics
([fact: ["20062845@trueknowledge.com"]])
the fact 133729779@trueknowledge.com
is true for
the earliest time when the fact can make sense onwards
([fact: ["133729780@trueknowledge.com"]])
By calculation (generator: ["timeperiodtopoint@trueknowledge.com"]) I know that:
the fact 133729779@trueknowledge.com
is true at
February 12th 2012, 22:48:47