By calculation (generator: ["now@trueknowledge.com"]) I know that:
The current time is February 10th 2012, 03:57:32
I know from locally stored knowledge that:
Bill Gates
is a
person
([fact: ["19249343@trueknowledge.com"]])
Fact 1:
Bill Gates
is living in
Seattle
([fact: ["376804471@trueknowledge.com"]])
Fact 1
is true for
July 9th 2009 onwards
([fact: ["376804483@trueknowledge.com"]])
By calculation (generator: ["timeperiodtopoint@trueknowledge.com"]) I know that:
Fact 1
is true at
February 10th 2012, 03:57:32
By calculation (generator: ["numbered_parameter@trueknowledge.com"]) I know that:
CC
is the numbered parameter of
3 and facts of the form: Bill Gates is living in X
By calculation (generator: ["third_parameter@trueknowledge.com"]) I know that:
CC
is the third parameter of
facts of the form: Bill Gates is living in X
By calculation (generator: ["first_parameter@trueknowledge.com"]) I know that:
Bill Gates
is the first parameter of
facts of the form: Bill Gates is living in X
By calculation (generator: ["second_parameter@trueknowledge.com"]) I know that:
is living in
is the second parameter of
facts of the form: Bill Gates is living in X
I know from locally stored knowledge that:
Fact 2:
Bill Gates
is living in
Medina, Washington
([fact: ["17629853@trueknowledge.com"]])
Fact 2
is true for
1995 onwards
([fact: ["17629854@trueknowledge.com"]])
By calculation (generator: ["timeperiodtopoint@trueknowledge.com"]) I know that:
Fact 2
is true at
February 10th 2012, 03:57:32
By calculation (generator: ["innermost_value@trueknowledge.com"]) I know that:
Seattle
is the innermost value of
facts of the form: Bill Gates is living in X
Medina, Washington
is the innermost value of
facts of the form: Bill Gates is living in X