By calculation (generator: ["now@trueknowledge.com"]) I know that:
The current time is June 18th 2013, 20:43:17
I know from locally stored knowledge that:
Fact 1:
Pittsburgh, Pennsylvania
is the headquarters of
Abarta
([fact: ["885966678@trueknowledge.com"]])
Fact 1
is true for
July 2nd 2010 onwards
([fact: ["885966682@trueknowledge.com"]])
By calculation (generator: ["timeperiodtopoint@trueknowledge.com"]) I know that:
Fact 1
is true at
June 18th 2013, 20:43:17
I know from locally stored knowledge that:
Pittsburgh, Pennsylvania
is a
settlement
([fact: ["9134981@trueknowledge.com"]])
appropriate to appear in location descriptions
is true of every
settlement
([fact: ["234471986@trueknowledge.com"]])
Pittsburgh, Pennsylvania
is a
town or city
([fact: ["161120177@trueknowledge.com"]])
By calculation (generator: ["should_appear_in_location@trueknowledge.com"]) I know that:
appropriate to appear in location descriptions
applies to
Pittsburgh, Pennsylvania
I know from locally stored knowledge that:
Fact 2:
Abarta
is in
Pennsylvania
([fact: ["885966690@trueknowledge.com"]])
Fact 2
is true for
July 2nd 2010 onwards
([fact: ["885966694@trueknowledge.com"]])
By calculation (generator: ["headquarters@trueknowledge.com"]) I know that:
Fact 3:
Pennsylvania
is the headquarters of
Abarta
Fact 3
is true for
July 2nd 2010 onwards
By calculation (generator: ["timeperiodtopoint@trueknowledge.com"]) I know that:
Fact 3
is true at
June 18th 2013, 20:43:17
I know from locally stored knowledge that:
appropriate to appear in location descriptions
applies to
Pennsylvania
([fact: ["363497171@trueknowledge.com"]])
