By calculation (generator: ["now@trueknowledge.com"]) I know that:
The current time is May 20th 2013, 00:03:23
I know from locally stored knowledge that:
Fact 1:
Islamabad
is the headquarters of
Attock Petroleum
([fact: ["150812425@trueknowledge.com"]])
Fact 1
is true for
April 23rd 2010 onwards
([fact: ["754600500@trueknowledge.com"]])
By calculation (generator: ["timeperiodtopoint@trueknowledge.com"]) I know that:
Fact 1
is true at
May 20th 2013, 00:03:23
I know from locally stored knowledge that:
Islamabad
is a
settlement
([fact: ["19589212@trueknowledge.com"]])
appropriate to appear in location descriptions
is true of every
settlement
([fact: ["234471986@trueknowledge.com"]])
Islamabad
is a
city
([fact: ["19589211@trueknowledge.com"]])
Islamabad
is a
town or city
([fact: ["152699833@trueknowledge.com"]])
By calculation (generator: ["should_appear_in_location@trueknowledge.com"]) I know that:
appropriate to appear in location descriptions
applies to
Islamabad
I know from locally stored knowledge that:
Fact 2:
Attock Petroleum
is in
Pakistan
([fact: ["2344863570@trueknowledge.com"]])
Fact 2
is true for
May 31st 2009 onwards
([fact: ["2344863574@trueknowledge.com"]])
By calculation (generator: ["headquarters@trueknowledge.com"]) I know that:
Fact 3:
Pakistan
is the headquarters of
Attock Petroleum
Fact 3
is true for
May 31st 2009 onwards
By calculation (generator: ["timeperiodtopoint@trueknowledge.com"]) I know that:
Fact 3
is true at
May 20th 2013, 00:03:23
I know from locally stored knowledge that:
appropriate to appear in location descriptions
applies to
Pakistan
([fact: ["363496247@trueknowledge.com"]])
