By calculation (generator: ["now@trueknowledge.com"]) I know that:
The current time is May 26th 2013, 09:08:24
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:
6,554,126
is the population of
Baghdad
([fact: ["356762423@trueknowledge.com"]])
Fact 1
is true for
February 3rd 2010 onwards
([fact: ["673414464@trueknowledge.com"]])
Fact 1
is true for
2004 onwards
([fact: ["356762427@trueknowledge.com"]])
Fact 2:
800
is the population of
the Vatican
([fact: ["995391902@trueknowledge.com"]])
Fact 2
is true for
2008 onwards
([fact: ["2077562434@trueknowledge.com"]])
By calculation (generator: ["numeric_greater_than@trueknowledge.com"]) I know that:
6,554,126
is greater than
800
Therefore (generator: ["numeric_greater_than@trueknowledge.com"]):
6,554,126
is not less than
800
6,554,126
is not the same as
800
By calculation (generator: ["tpintersect@trueknowledge.com"]) I know that:
February 3rd 2010 onwards
is the timeperiod intersection of
February 3rd 2010 onwards and 2008 onwards
By calculation (generator: ["scalar_comparison3@trueknowledge.com"]) I know that:
Fact 3:
Baghdad
is more populous than
the Vatican
Fact 3
is true for
February 3rd 2010 onwards
By calculation (generator: ["timeperiodtopoint@trueknowledge.com"]) I know that:
Fact 3
is true at
May 26th 2013, 09:08:24
By calculation (generator: ["scalar_comparison3@trueknowledge.com"]) I know that:
Fact 3
is true for
2008 onwards
By calculation (generator: ["tpintersect@trueknowledge.com"]) I know that:
2008 onwards
is the timeperiod intersection of
2004 onwards and 2008 onwards
