By calculation (generator: ["now@trueknowledge.com"]) I know that:
The current time is May 20th 2013, 08:02:38
I know from locally stored knowledge that:
Fact 1:
548,477
is the population of
Bremen
([fact: ["377047451@trueknowledge.com"]])
Fact 1
is true for
September 15th 2011 onwards
([fact: ["2343891186@trueknowledge.com"]])
Fact 1
is true for
July 11th 2009 onwards
([fact: ["377047455@trueknowledge.com"]])
By calculation (generator: ["extended_fact_pattern_with_order6@trueknowledge.com"]) I know that:
Fact 2:
facts of the form: X is living in Bremen (where X is an instance of inhabitant)
is an extended fact pattern with order
548,477
Fact 2
is true for
September 15th 2011 onwards
By calculation (generator: ["timeperiodtopoint@trueknowledge.com"]) I know that:
Fact 2
is true at
May 20th 2013, 08:02:38
By calculation (generator: ["extended_fact_pattern_with_order6@trueknowledge.com"]) I know that:
Fact 2
is true for
July 11th 2009 onwards
I know from locally stored knowledge that:
Fact 3:
548,475
is the population of
Bremen
([fact: ["2585213094@trueknowledge.com"]])
Fact 3
is true for
September 15th 2012 onwards
([fact: ["2814042098@trueknowledge.com"]])
Fact 3
is true for
July 20th 2012 onwards
([fact: ["2585213098@trueknowledge.com"]])
By calculation (generator: ["extended_fact_pattern_with_order6@trueknowledge.com"]) I know that:
Fact 2:
facts of the form: X is living in Bremen (where X is an instance of inhabitant)
is an extended fact pattern with order
548,475
Fact 2
is true for
September 15th 2012 onwards
By calculation (generator: ["timeperiodtopoint@trueknowledge.com"]) I know that:
Fact 2
is true at
May 20th 2013, 08:02:38
By calculation (generator: ["extended_fact_pattern_with_order6@trueknowledge.com"]) I know that:
Fact 2
is true for
July 20th 2012 onwards
Facts
Show facts
