By calculation (generator: ["now@trueknowledge.com"]) I know that:
The current time is May 25th 2013, 20:31:06
I know from locally stored knowledge that:
is more populous than
is a left comparison of
is the population of
([fact: ["127562353@trueknowledge.com"]])
Fact 1:
2,891,082
is the population of
Buenos Aires
([fact: ["1063200778@trueknowledge.com"]])
Fact 1
is true for
December 28th 2010 onwards
([fact: ["1076364346@trueknowledge.com"]])
Fact 2:
989,273
is the population of
Kathmandu
([fact: ["2197071322@trueknowledge.com"]])
Fact 2
is true for
2010 onwards
([fact: ["2197071470@trueknowledge.com"]])
By calculation (generator: ["numeric_greater_than@trueknowledge.com"]) I know that:
2,891,082
is greater than
989,273
Therefore (generator: ["numeric_greater_than@trueknowledge.com"]):
2,891,082
is not less than
989,273
2,891,082
is not the same as
989,273
By calculation (generator: ["tpintersect@trueknowledge.com"]) I know that:
December 28th 2010 onwards
is the timeperiod intersection of
December 28th 2010 onwards and 2010 onwards
By calculation (generator: ["scalar_comparison3@trueknowledge.com"]) I know that:
Fact 3:
Buenos Aires
is more populous than
Kathmandu
Fact 3
is true for
December 28th 2010 onwards
By calculation (generator: ["timeperiodtopoint@trueknowledge.com"]) I know that:
Fact 3
is true at
May 25th 2013, 20:31:06
By calculation (generator: ["scalar_comparison3@trueknowledge.com"]) I know that:
Fact 3
is true for
2009 onwards
I know from locally stored knowledge that:
Fact 4:
3,050,728
is the population of
Buenos Aires
([fact: ["673618316@trueknowledge.com"]])
Fact 4
is true for
2009 onwards
([fact: ["673618344@trueknowledge.com"]])
Fact 5:
2,500,000
is the population of
Kathmandu
([fact: ["398796963@trueknowledge.com"]])
Fact 5
is true for
2008 onwards
([fact: ["398796967@trueknowledge.com"]])
By calculation (generator: ["numeric_greater_than@trueknowledge.com"]) I know that:
3,050,728
is greater than
2,500,000
Therefore (generator: ["numeric_greater_than@trueknowledge.com"]):
3,050,728
is not less than
2,500,000
3,050,728
is not the same as
2,500,000
By calculation (generator: ["tpintersect@trueknowledge.com"]) I know that:
2009 onwards
is the timeperiod intersection of
2009 onwards and 2008 onwards
