By calculation (generator: ["now@trueknowledge.com"]) I know that:
The current time is February 12th 2012, 03:23:06
I know from locally stored knowledge that:
Fact 1:
Barack Obama
is a
US president
([fact: ["163563762@trueknowledge.com"]])
Fact 1
is true for
January 20th 2009, 17:01 onwards
([fact: ["163568274@trueknowledge.com"]])
Therefore (generator: ["distinct1@trueknowledge.com"]):
Fact 2:
Barack Obama
is not a
girl
By calculation (generator: ["distinct1@trueknowledge.com"]) I know that:
Fact 2
is true for
January 20th 2009, 17:01 onwards
By calculation (generator: ["timeperiodtotimepoint2@trueknowledge.com"]) I know that:
Fact 2
is true for all of timepoint
February 12th 2012, 03:23:06