By calculation (generator: ["now@trueknowledge.com"]) I know that:
The current time is May 18th 2013, 21:39:00
I know from locally stored knowledge that:
Fact 1:
John Dramani Mahama
is the president of
Ghana
([fact: ["2586627574@trueknowledge.com"]])
Fact 1
is true for
July 24th 2012 onwards
([fact: ["2586627578@trueknowledge.com"]])
Therefore (generator: ["not_has_order@trueknowledge.com"]):
Fact 2:
facts of the form: X is the president of Ghana
is not of order
0
By calculation (generator: ["not_has_order@trueknowledge.com"]) I know that:
Fact 2
is true for
July 24th 2012 onwards
By calculation (generator: ["timeperiodtopoint@trueknowledge.com"]) I know that:
Fact 2
is true at
May 18th 2013, 21:39:00
By calculation (generator: ["not_has_order@trueknowledge.com"]) I know that:
Fact 2
is true for
January 7th 2001 onwards
I know from locally stored knowledge that:
Fact 3:
John Kufour
is the president of
Ghana
([fact: ["123919277@trueknowledge.com"]])
Fact 3
is true for
January 7th 2001 onwards
([fact: ["123919278@trueknowledge.com"]])
