By calculation (generator: ["now@trueknowledge.com"]) I know that:
The current time is February 14th 2012, 13:03:56
I know from locally stored knowledge that:
Fact 1:
John Forbes Nash
is employed by
Princeton University
([fact: ["703847888@trueknowledge.com"]])
Fact 1
is true for
August 20th 2011 onwards
([fact: ["2340593654@trueknowledge.com"]])
By calculation (generator: ["timeperiodtopoint@trueknowledge.com"]) I know that:
Fact 1
is true at
February 14th 2012, 13:03:56
I know from locally stored knowledge that:
is employed by
is a more general form of
is a key person in
([fact: ["127369186@trueknowledge.com"]])
Fact 2:
John Forbes Nash
is a key person in
RAND
([fact: ["418056995@trueknowledge.com"]])
Fact 2
is true for
February 19th 2010 onwards
([fact: ["686743412@trueknowledge.com"]])
Fact 2
is true for
July 24th 2009 onwards
([fact: ["418056999@trueknowledge.com"]])
By calculation (generator: ["moregeneral1@trueknowledge.com"]) I know that:
Fact 3:
John Forbes Nash
is employed by
RAND
Fact 3
is true for
February 19th 2010 onwards
By calculation (generator: ["timeperiodtopoint@trueknowledge.com"]) I know that:
Fact 3
is true at
February 14th 2012, 13:03:56
By calculation (generator: ["moregeneral1@trueknowledge.com"]) I know that:
Fact 3
is true for
July 24th 2009 onwards
Adding…
