By calculation (generator: ["now@trueknowledge.com"]) I know that:
The current time is May 22nd 2013, 08:33:41
I know from locally stored knowledge that:
Fact 1:
Flagler College
is in
Saint Augustine, Florida
([fact: ["2353982774@trueknowledge.com"]])
Fact 1
is true for
July 28th 2012 onwards
([fact: ["2614262930@trueknowledge.com"]])
Therefore (generator: ["not_extended_fact_pattern_with_order2@trueknowledge.com"]):
Fact 2:
facts of the form: X is in Saint Augustine, Florida (where X is an instance of university)
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
July 28th 2012 onwards
By calculation (generator: ["timeperiodtopoint@trueknowledge.com"]) I know that:
Fact 2
is true at
May 22nd 2013, 08:33:41
By calculation (generator: ["not_extended_fact_pattern_with_order2@trueknowledge.com"]) I know that:
Fact 2
is true for
January 13th 2009 onwards
I know from locally stored knowledge that:
Fact 3:
Flagler College
is in
Saint Augustine, Florida
([fact: ["138202232@trueknowledge.com"]])
Fact 3
is true for
January 13th 2009 onwards
([fact: ["707295908@trueknowledge.com"]])