By calculation (generator: ["now@trueknowledge.com"]) I know that:
The current time is June 20th 2013, 10:12:08
I know from locally stored knowledge that:
Fact 1:
"Hussein"
is a middle-name of
Barack Obama
([fact: ["146068669@trueknowledge.com"]])
Fact 1
is true for
May 8th 2010 onwards
([fact: ["801028992@trueknowledge.com"]])
Fact 1
is true for
the beginning of time onwards
([fact: ["146068681@trueknowledge.com"]])
Therefore (generator: ["not_has_order@trueknowledge.com"]):
Fact 2:
facts of the form: X is a middle-name of Barack Obama
is not of order
0
By calculation (generator: ["not_has_order@trueknowledge.com"]) I know that:
Fact 2
is true for
May 8th 2010 onwards
By calculation (generator: ["timeperiodtopoint@trueknowledge.com"]) I know that:
Fact 2
is true at
June 20th 2013, 10:12:08
By calculation (generator: ["not_has_order@trueknowledge.com"]) I know that:
Fact 2
is true for
the beginning of time onwards
