By calculation (generator: ["now@trueknowledge.com"]) I know that:
The current time is May 25th 2013, 08:33: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:
336,200
is the population of
Cardiff
([fact: ["1620003370@trueknowledge.com"]])
Fact 1
is true for
May 8th 2011 onwards
([fact: ["1921675190@trueknowledge.com"]])
Fact 2:
155,000
is the population of
Ipswich
([fact: ["361301759@trueknowledge.com"]])
Fact 2
is true for
May 19th 2009 onwards
([fact: ["361301803@trueknowledge.com"]])
By calculation (generator: ["numeric_greater_than@trueknowledge.com"]) I know that:
336,200
is greater than
155,000
Therefore (generator: ["numeric_greater_than@trueknowledge.com"]):
336,200
is not less than
155,000
336,200
is not the same as
155,000
By calculation (generator: ["tpintersect@trueknowledge.com"]) I know that:
May 8th 2011 onwards
is the timeperiod intersection of
May 8th 2011 onwards and May 19th 2009 onwards
By calculation (generator: ["scalar_comparison3@trueknowledge.com"]) I know that:
Fact 3:
Cardiff
is more populous than
Ipswich
Fact 3
is true for
May 8th 2011 onwards
By calculation (generator: ["timeperiodtopoint@trueknowledge.com"]) I know that:
Fact 3
is true at
May 25th 2013, 08:33:06
By calculation (generator: ["scalar_comparison3@trueknowledge.com"]) I know that:
Fact 3
is true for
May 19th 2009 onwards
I know from locally stored knowledge that:
Fact 4:
324,800
is the population of
Cardiff
([fact: ["573755732@trueknowledge.com"]])
Fact 4
is true for
2001 onwards
([fact: ["573756144@trueknowledge.com"]])
By calculation (generator: ["numeric_greater_than@trueknowledge.com"]) I know that:
324,800
is greater than
155,000
Therefore (generator: ["numeric_greater_than@trueknowledge.com"]):
324,800
is not less than
155,000
324,800
is not the same as
155,000
By calculation (generator: ["tpintersect@trueknowledge.com"]) I know that:
May 19th 2009 onwards
is the timeperiod intersection of
2001 onwards and May 19th 2009 onwards
