By calculation (generator: ["now@trueknowledge.com"]) I know that:
The current time is May 21st 2013, 19:36:22
I know from locally stored knowledge that:
treat as antisymmetric
applies to
is more populous than
([fact: ["232414450@trueknowledge.com"]])
geographical area
is the left class of
is more populous than
([fact: ["127562310@trueknowledge.com"]])
geographical area
is the right class of
is more populous than
([fact: ["127562311@trueknowledge.com"]])
By calculation (generator: ["strictequal1@trueknowledge.com"]) I know that:
geographical area
is strictly equal to
geographical area
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:
778,567
is the population of
Abuja
([fact: ["378636031@trueknowledge.com"]])
Fact 1
is true for
September 14th 2009 onwards
([fact: ["626330384@trueknowledge.com"]])
Fact 2:
79,185
is the population of
Thimphu
([fact: ["1018196122@trueknowledge.com"]])
Fact 2
is true for
2005 onwards
([fact: ["1018196138@trueknowledge.com"]])
Fact 2
is true for
November 12th 2010 onwards
([fact: ["1018196130@trueknowledge.com"]])
By calculation (generator: ["numeric_greater_than@trueknowledge.com"]) I know that:
778,567
is greater than
79,185
Therefore (generator: ["numeric_greater_than@trueknowledge.com"]):
778,567
is not less than
79,185
778,567
is not the same as
79,185
By calculation (generator: ["tpintersect@trueknowledge.com"]) I know that:
September 14th 2009 onwards
is the timeperiod intersection of
September 14th 2009 onwards and 2005 onwards
By calculation (generator: ["scalar_comparison3@trueknowledge.com"]) I know that:
Fact 3:
Abuja
is more populous than
Thimphu
Fact 3
is true for
September 14th 2009 onwards
Fact 3
is true for
August 10th 2011 onwards
I know from locally stored knowledge that:
Fact 4:
776,298
is the population of
Abuja
([fact: ["1058379922@trueknowledge.com"]])
Fact 4
is true for
August 10th 2011 onwards
([fact: ["2338471610@trueknowledge.com"]])
By calculation (generator: ["numeric_greater_than@trueknowledge.com"]) I know that:
776,298
is greater than
79,185
Therefore (generator: ["numeric_greater_than@trueknowledge.com"]):
776,298
is not less than
79,185
776,298
is not the same as
79,185
By calculation (generator: ["tpintersect@trueknowledge.com"]) I know that:
August 10th 2011 onwards
is the timeperiod intersection of
August 10th 2011 onwards and November 12th 2010 onwards
Therefore (generator: ["antisymmetric1@trueknowledge.com"]):
Fact 5:
Thimphu
is not more populous than
Abuja
By calculation (generator: ["antisymmetric1@trueknowledge.com"]) I know that:
Fact 5
is true for
August 10th 2011 onwards
By calculation (generator: ["timeperiodtotimepoint2@trueknowledge.com"]) I know that:
Fact 5
is true for all of timepoint
May 21st 2013, 19:36:22
By calculation (generator: ["antisymmetric1@trueknowledge.com"]) I know that:
Fact 5
is true for
September 14th 2009 onwards
Facts
Show facts
