By calculation (generator: ["now@trueknowledge.com"]) I know that:
The current time is June 20th 2013, 00:52:44
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,988,145
is the population of
Algiers
([fact: ["2498474710@trueknowledge.com"]])
Fact 1
is true for
September 30th 2012 onwards
([fact: ["2847673942@trueknowledge.com"]])
Fact 2:
404,400
is the population of
Tel Aviv
([fact: ["1074896970@trueknowledge.com"]])
Fact 2
is true for
December 25th 2010 onwards
([fact: ["1074896974@trueknowledge.com"]])
By calculation (generator: ["numeric_greater_than@trueknowledge.com"]) I know that:
2,988,145
is greater than
404,400
Therefore (generator: ["numeric_greater_than@trueknowledge.com"]):
2,988,145
is not less than
404,400
2,988,145
is not the same as
404,400
By calculation (generator: ["tpintersect@trueknowledge.com"]) I know that:
September 30th 2012 onwards
is the timeperiod intersection of
September 30th 2012 onwards and December 25th 2010 onwards
By calculation (generator: ["scalar_comparison3@trueknowledge.com"]) I know that:
Fact 3:
Algiers
is more populous than
Tel Aviv
Fact 3
is true for
September 30th 2012 onwards
By calculation (generator: ["timeperiodtopoint@trueknowledge.com"]) I know that:
Fact 3
is true at
June 20th 2013, 00:52:44
By calculation (generator: ["scalar_comparison3@trueknowledge.com"]) I know that:
Fact 3
is true for
October 3rd 2010 onwards
I know from locally stored knowledge that:
Fact 4:
1,519,570
is the population of
Algiers
([fact: ["426179272@trueknowledge.com"]])
Fact 4
is true for
1998 onwards
([fact: ["426179296@trueknowledge.com"]])
Fact 5:
390,400
is the population of
Tel Aviv
([fact: ["994631226@trueknowledge.com"]])
Fact 5
is true for
October 3rd 2010 onwards
([fact: ["994631230@trueknowledge.com"]])
By calculation (generator: ["numeric_greater_than@trueknowledge.com"]) I know that:
1,519,570
is greater than
390,400
Therefore (generator: ["numeric_greater_than@trueknowledge.com"]):
1,519,570
is not less than
390,400
1,519,570
is not the same as
390,400
By calculation (generator: ["tpintersect@trueknowledge.com"]) I know that:
October 3rd 2010 onwards
is the timeperiod intersection of
1998 onwards and October 3rd 2010 onwards