By calculation (generator: ["now@trueknowledge.com"]) I know that:
The current time is May 22nd 2013, 01:17:18
I know from locally stored knowledge that:
Fact 1:
ZIP code 26201
is in
Buckhannon, West Virginia
([fact: ["993081802@trueknowledge.com"]])
Fact 1
is true for
September 21st 2010 onwards
([fact: ["993081806@trueknowledge.com"]])
Therefore (generator: ["not_extended_fact_pattern_with_order2@trueknowledge.com"]):
Fact 2:
facts of the form: X is in Buckhannon, West Virginia (where X is an instance of geographical area)
is not an extended fact pattern with order
0
By calculation (generator: ["not_extended_fact_pattern_with_order2@trueknowledge.com"]) I know that:
Fact 2
is true for
September 21st 2010 onwards
By calculation (generator: ["timeperiodtopoint@trueknowledge.com"]) I know that:
Fact 2
is true at
May 22nd 2013, 01:17:18
By calculation (generator: ["not_extended_fact_pattern_with_order2@trueknowledge.com"]) I know that:
Fact 2
is true for
September 24th 2008 onwards
I know from locally stored knowledge that:
Fact 3:
Wal-Mart 2809 Supercenter
is in
Buckhannon, West Virginia
([fact: ["179974367@trueknowledge.com"]])
Fact 3
is true for
September 24th 2008 onwards
([fact: ["179974383@trueknowledge.com"]])