By calculation (generator: ["now@trueknowledge.com"]) I know that:
The current time is June 19th 2013, 14:52:16
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:
1,659,600
is the population of
Kampala
([fact: ["1906798554@trueknowledge.com"]])
Fact 1
is true for
June 16th 2011 onwards
([fact: ["2181951842@trueknowledge.com"]])
Fact 2:
945,942
is the population of
San Jose
([fact: ["1451130302@trueknowledge.com"]])
Fact 2
is true for
March 8th 2011 onwards
([fact: ["1451130306@trueknowledge.com"]])
By calculation (generator: ["numeric_greater_than@trueknowledge.com"]) I know that:
1,659,600
is greater than
945,942
Therefore (generator: ["numeric_greater_than@trueknowledge.com"]):
1,659,600
is not less than
945,942
1,659,600
is not the same as
945,942
By calculation (generator: ["tpintersect@trueknowledge.com"]) I know that:
June 16th 2011 onwards
is the timeperiod intersection of
June 16th 2011 onwards and March 8th 2011 onwards
By calculation (generator: ["scalar_comparison3@trueknowledge.com"]) I know that:
Fact 3:
Kampala
is more populous than
San Jose
Fact 3
is true for
June 16th 2011 onwards
By calculation (generator: ["timeperiodtopoint@trueknowledge.com"]) I know that:
Fact 3
is true at
June 19th 2013, 14:52:16
By calculation (generator: ["scalar_comparison3@trueknowledge.com"]) I know that:
Fact 3
is true for
June 25th 2009 onwards
I know from locally stored knowledge that:
Fact 4:
1,653,976
is the population of
Kampala
([fact: ["372932683@trueknowledge.com"]])
Fact 4
is true for
June 25th 2009 onwards
([fact: ["372932687@trueknowledge.com"]])
Fact 5:
1,006,892
is the population of
San Jose
([fact: ["678787344@trueknowledge.com"]])
Fact 5
is true for
2008 onwards
([fact: ["1000999056@trueknowledge.com"]])
By calculation (generator: ["numeric_greater_than@trueknowledge.com"]) I know that:
1,653,976
is greater than
1,006,892
Therefore (generator: ["numeric_greater_than@trueknowledge.com"]):
1,653,976
is not less than
1,006,892
1,653,976
is not the same as
1,006,892
By calculation (generator: ["tpintersect@trueknowledge.com"]) I know that:
June 25th 2009 onwards
is the timeperiod intersection of
June 25th 2009 onwards and 2008 onwards
