By calculation (generator: ["now@trueknowledge.com"]) I know that:
The current time is February 10th 2012, 19:27:58
I know from locally stored knowledge that:
Fact 1:
Cambridge
is the headquarters of
True Knowledge
([fact: ["162563594@trueknowledge.com"]])
Fact 1
is true for
November 8th 2010 onwards
([fact: ["1006527390@trueknowledge.com"]])
By calculation (generator: ["timeperiodtopoint@trueknowledge.com"]) I know that:
Fact 1
is true at
February 10th 2012, 19:27:58
I know from locally stored knowledge that:
Cambridge
is a
settlement
([fact: ["2013963@trueknowledge.com"]])
appropriate to appear in location descriptions
is true of every
settlement
([fact: ["234471986@trueknowledge.com"]])
Cambridge
is a
city
([fact: ["1131755@trueknowledge.com"]])
Cambridge
is a
town or city
([fact: ["152725201@trueknowledge.com"]])
Cambridge
is a
LDC link settlement
([fact: ["303558206@trueknowledge.com"]])
By calculation (generator: ["should_appear_in_location@trueknowledge.com"]) I know that:
appropriate to appear in location descriptions
applies to
Cambridge
I know from locally stored knowledge that:
Fact 2:
True Knowledge
is in
the United Kingdom
([fact: ["1612865710@trueknowledge.com"]])
Fact 2
is true for
April 11th 2011 onwards
([fact: ["1675965478@trueknowledge.com"]])
Fact 2
is true for
December 5th 2010 onwards
([fact: ["1612865714@trueknowledge.com"]])
By calculation (generator: ["headquarters@trueknowledge.com"]) I know that:
Fact 3:
the United Kingdom
is the headquarters of
True Knowledge
Fact 3
is true for
April 11th 2011 onwards
By calculation (generator: ["timeperiodtopoint@trueknowledge.com"]) I know that:
Fact 3
is true at
February 10th 2012, 19:27:58
By calculation (generator: ["headquarters@trueknowledge.com"]) I know that:
Fact 3
is true for
December 5th 2010 onwards
I know from locally stored knowledge that:
appropriate to appear in location descriptions
applies to
the United Kingdom
([fact: ["363496267@trueknowledge.com"]])
Adding…
