By calculation (generator: ["now@trueknowledge.com"]) I know that:
The current time is May 22nd 2013, 00:43:55
I know from locally stored knowledge that:
Badajoz
commonly translates as
"Badajoz"
([fact: ["48558712@trueknowledge.com"]])
Fact 1:
145,257
is the population of
Badajoz
([fact: ["368875683@trueknowledge.com"]])
Fact 1
is true for
June 14th 2009 onwards
([fact: ["368875687@trueknowledge.com"]])
By calculation (generator: ["first_parameter@trueknowledge.com"]) I know that:
June 14th 2009
is the first parameter of
June 14th 2009 onwards
I know from locally stored knowledge that:
Badajoz
is in
Spain
([fact: ["48558727@trueknowledge.com"]])
Spain
is a
country
([fact: ["269562187@trueknowledge.com"]])
Spain
commonly translates as
"Spain"
([fact: ["15623503@trueknowledge.com"]])
Fact 2:
46,661,950
is the population of
Spain
([fact: ["433147628@trueknowledge.com"]])
Fact 2
is true for
August 18th 2009 onwards
([fact: ["433147632@trueknowledge.com"]])
Fact 2
is true for
October 18th 2009 onwards
([fact: ["643726680@trueknowledge.com"]])
Fact 2
is true for
November 9th 2009 onwards
([fact: ["646684564@trueknowledge.com"]])
Fact 2
is true for
November 23rd 2009 onwards
([fact: ["647434208@trueknowledge.com"]])
By calculation (generator: ["first_parameter@trueknowledge.com"]) I know that:
August 18th 2009
is the first parameter of
August 18th 2009 onwards
October 18th 2009
is the first parameter of
October 18th 2009 onwards
November 9th 2009
is the first parameter of
November 9th 2009 onwards
November 23rd 2009
is the first parameter of
November 23rd 2009 onwards
I know from locally stored knowledge that:
Fact 3:
45,989,016
is the population of
Spain
([fact: ["848477900@trueknowledge.com"]])
Fact 3
is true for
March 30th 2010 onwards
([fact: ["848477904@trueknowledge.com"]])
By calculation (generator: ["first_parameter@trueknowledge.com"]) I know that:
March 30th 2010
is the first parameter of
March 30th 2010 onwards
I know from locally stored knowledge that:
Fact 4:
46,030,109
is the population of
Spain
([fact: ["904763878@trueknowledge.com"]])
Fact 4
is true for
July 10th 2010 onwards
([fact: ["904763882@trueknowledge.com"]])
By calculation (generator: ["first_parameter@trueknowledge.com"]) I know that:
July 10th 2010
is the first parameter of
July 10th 2010 onwards
By calculation (generator: ["timepoint_difference@trueknowledge.com"]) I know that:
10 months and 22 days
is the length of time between the timepoints
August 18th 2009 and July 10th 2010
2 years, 10 months and 12 days
is the length of time between the timepoints
July 10th 2010 and May 22nd 2013
By calculation (generator: ["parameteredtranslate2@trueknowledge.com"]) I know that:
43,881,850
commonly translates as
"43,881,850"
By calculation (generator: ["strictequal1@trueknowledge.com"]) I know that:
May 22nd 2013
is strictly equal to
May 22nd 2013
By calculation (generator: ["timepoint_common_translation@trueknowledge.com"]) I know that:
May 22nd 2013
commonly translates as
"May 22nd 2013"
By calculation (generator: ["parameteredtranslate2@trueknowledge.com"]) I know that:
46,661,950
commonly translates as
"46,661,950"
By calculation (generator: ["strictequal1@trueknowledge.com"]) I know that:
August 18th 2009
is strictly equal to
August 18th 2009
By calculation (generator: ["timepoint_common_translation@trueknowledge.com"]) I know that:
August 18th 2009
commonly translates as
"August 18th 2009"
By calculation (generator: ["parameteredtranslate2@trueknowledge.com"]) I know that:
46,030,109
commonly translates as
"46,030,109"
By calculation (generator: ["strictequal1@trueknowledge.com"]) I know that:
July 10th 2010
is strictly equal to
July 10th 2010
By calculation (generator: ["timepoint_common_translation@trueknowledge.com"]) I know that:
July 10th 2010
commonly translates as
"July 10th 2010"
By calculation (generator: ["timepoint_difference@trueknowledge.com"]) I know that:
3 years, 11 months and 8 days
is the length of time between the timepoints
June 14th 2009 and May 22nd 2013
By calculation (generator: ["parameteredtranslate2@trueknowledge.com"]) I know that:
136,013
commonly translates as
"136,013"
145,257
commonly translates as
"145,257"
By calculation (generator: ["strictequal1@trueknowledge.com"]) I know that:
June 14th 2009
is strictly equal to
June 14th 2009
By calculation (generator: ["timepoint_common_translation@trueknowledge.com"]) I know that:
June 14th 2009
commonly translates as
"June 14th 2009"
By calculation (generator: ["population_description@trueknowledge.com"]) I know that:
Fact 5:
The population of Badajoz on May 22nd 2013 is approximately 136,013. (Extrapolated from Spain populations of 46,661,950 on August 18th 2009 and 46,030,109 on July 10th 2010, and a Badajoz population of 145,257 on June 14th 2009.)
is the population description of
Badajoz
Fact 5
is true at
May 22nd 2013, 00:43:55