By calculation (generator: ["now@trueknowledge.com"]) I know that:
The current time is May 22nd 2013, 21:46:52
I know from locally stored knowledge that:
Fact 1:
Neil Armstrong
is living in
Ohio
([fact: ["643617164@trueknowledge.com"]])
Fact 1
is true for
October 15th 2009, 11:31 onwards
([fact: ["1463686822@trueknowledge.com"]])
By calculation (generator: ["timeperiodtopoint@trueknowledge.com"]) I know that:
Fact 1
is true at
May 22nd 2013, 21:46:52
I know from locally stored knowledge that:
appropriate to appear in location descriptions
applies to
Ohio
([fact: ["363497163@trueknowledge.com"]])
Fact 2:
Ohio
is in
the United States
([fact: ["152052857@trueknowledge.com"]])
Fact 2
is true for
January 25th 2010, 15:46:33 onwards
([fact: ["664221540@trueknowledge.com"]])
Fact 2
is true for
October 23rd 2006 onwards
([fact: ["367062467@trueknowledge.com"]])
By calculation (generator: ["tpintersect@trueknowledge.com"]) I know that:
January 25th 2010, 15:46:33 onwards
is the timeperiod intersection of
October 15th 2009, 11:31 onwards and January 25th 2010, 15:46:33 onwards
By calculation (generator: ["residence@trueknowledge.com"]) I know that:
Fact 3:
Neil Armstrong
is living in
the United States
Fact 3
is true for
January 25th 2010, 15:46:33 onwards
By calculation (generator: ["timeperiodtopoint@trueknowledge.com"]) I know that:
Fact 3
is true at
May 22nd 2013, 21:46:52
By calculation (generator: ["residence@trueknowledge.com"]) I know that:
Fact 3
is true for
October 15th 2009, 11:31 onwards
By calculation (generator: ["tpintersect@trueknowledge.com"]) I know that:
October 15th 2009, 11:31 onwards
is the timeperiod intersection of
October 15th 2009, 11:31 onwards and October 23rd 2006 onwards
I know from locally stored knowledge that:
appropriate to appear in location descriptions
applies to
the United States
([fact: ["363496263@trueknowledge.com"]])
Fact 4:
Ohio
is in
North America
([fact: ["664221548@trueknowledge.com"]])
Fact 4
is true for
January 25th 2010, 15:46:33 onwards
([fact: ["664221556@trueknowledge.com"]])
By calculation (generator: ["residence@trueknowledge.com"]) I know that:
Fact 3:
Neil Armstrong
is living in
North America
Fact 3
is true for
January 25th 2010, 15:46:33 onwards
By calculation (generator: ["timeperiodtopoint@trueknowledge.com"]) I know that:
Fact 3
is true at
May 22nd 2013, 21:46:52
I know from locally stored knowledge that:
appropriate to appear in location descriptions
applies to
North America
([fact: ["234465274@trueknowledge.com"]])
