By calculation (generator: ["now@trueknowledge.com"]) I know that:
The current time is May 23rd 2013, 13:58:23
I know from locally stored knowledge that:
Fact 1:
the United States
is a
country
([fact: ["269566143@trueknowledge.com"]])
Fact 1
is true for
April 18th 2009, 00:00:00 onwards
([fact: ["269566147@trueknowledge.com"]])
country
is a distinct class from
object with a mass
([fact: ["129900697@trueknowledge.com"]])
Therefore (generator: ["distinct1@trueknowledge.com"]):
Fact 2:
the United States
is not a
object with a mass
By calculation (generator: ["distinct1@trueknowledge.com"]) I know that:
Fact 2
is true for
April 18th 2009, 00:00:00 onwards
By calculation (generator: ["timeperiodtotimepoint2@trueknowledge.com"]) I know that:
Fact 2
is true for all of timepoint
May 23rd 2013, 13:58:23