By calculation (generator: ["now@trueknowledge.com"]) I know that:
The current time is May 23rd 2013, 23:53:48
I know from locally stored knowledge that:
Fact 1:
London
is the headquarters of
Itsu
([fact: ["150740337@trueknowledge.com"]])
Fact 1
is true for
May 5th 2010 onwards
([fact: ["799410260@trueknowledge.com"]])
By calculation (generator: ["timeperiodtopoint@trueknowledge.com"]) I know that:
Fact 1
is true at
May 23rd 2013, 23:53:48
I know from locally stored knowledge that:
London
is a
settlement
([fact: ["4167765@trueknowledge.com"]])
appropriate to appear in location descriptions
is true of every
settlement
([fact: ["234471986@trueknowledge.com"]])
London
is a
city
([fact: ["1132034@trueknowledge.com"]])
London
is a
town or city
([fact: ["149427141@trueknowledge.com"]])
London
is a
LDC link settlement
([fact: ["303558110@trueknowledge.com"]])
By calculation (generator: ["should_appear_in_location@trueknowledge.com"]) I know that:
appropriate to appear in location descriptions
applies to
London
I know from locally stored knowledge that:
Fact 2:
Itsu
is in
England
([fact: ["426198340@trueknowledge.com"]])
Fact 2
is true for
June 4th 2010 onwards
([fact: ["876314224@trueknowledge.com"]])
By calculation (generator: ["headquarters@trueknowledge.com"]) I know that:
Fact 3:
England
is the headquarters of
Itsu
Fact 3
is true for
June 4th 2010 onwards
By calculation (generator: ["timeperiodtopoint@trueknowledge.com"]) I know that:
Fact 3
is true at
May 23rd 2013, 23:53:48
I know from locally stored knowledge that:
England
is a
sovereign state
([fact: ["679546640@trueknowledge.com"]])
England
is a
country
([fact: ["15624051@trueknowledge.com"]])
appropriate to appear in location descriptions
is true of every
country
([fact: ["232614978@trueknowledge.com"]])
By calculation (generator: ["should_appear_in_location@trueknowledge.com"]) I know that:
appropriate to appear in location descriptions
applies to
England
