By calculation (generator: ["now@trueknowledge.com"]) I know that:
The current time is February 13th 2012, 18:18:27
I know from locally stored knowledge that:
Tiger Woods
is a
person
([fact: ["1159132@trueknowledge.com"]])
Fact 1:
Tiger Woods
is living in
Jupiter Island, Florida
([fact: ["176610490@trueknowledge.com"]])
Fact 1
is true for
February 14th 2009, 00:00:00 onwards
([fact: ["176610494@trueknowledge.com"]])
By calculation (generator: ["timeperiodtopoint@trueknowledge.com"]) I know that:
Fact 1
is true at
February 13th 2012, 18:18:27
By calculation (generator: ["numbered_parameter@trueknowledge.com"]) I know that:
CC
is the numbered parameter of
3 and facts of the form: Tiger Woods is living in X
By calculation (generator: ["third_parameter@trueknowledge.com"]) I know that:
CC
is the third parameter of
facts of the form: Tiger Woods is living in X
By calculation (generator: ["first_parameter@trueknowledge.com"]) I know that:
Tiger Woods
is the first parameter of
facts of the form: Tiger Woods 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: Tiger Woods is living in X
I know from locally stored knowledge that:
Tiger Woods
is living in
Florida
([fact: ["1098060482@trueknowledge.com"]])
Tiger Woods
is living in
Orange County, CA
([fact: ["702307872@trueknowledge.com"]])
Fact 2:
Tiger Woods
is living in
Windermere, Florida
([fact: ["426636692@trueknowledge.com"]])
Fact 2
is true for
August 5th 2009 onwards
([fact: ["426636700@trueknowledge.com"]])
By calculation (generator: ["timeperiodtopoint@trueknowledge.com"]) I know that:
Fact 2
is true at
February 13th 2012, 18:18:27
I know from locally stored knowledge that:
Jupiter Island, Florida
is in
Florida
([fact: ["160213677@trueknowledge.com"]])
By calculation (generator: ["innermost_value@trueknowledge.com"]) I know that:
Orange County, CA
is the innermost value of
facts of the form: Tiger Woods is living in X
Jupiter Island, Florida
is the innermost value of
facts of the form: Tiger Woods is living in X
Windermere, Florida
is the innermost value of
facts of the form: Tiger Woods is living in X