By calculation (generator: ["now@trueknowledge.com"]) I know that:

The current time is April 16th 2014, 04:28:54

I know from locally stored knowledge that:

is of greater area than
is a left comparison of
is the area of
([fact: ["135778751@trueknowledge.com"]])

Fact 1:
170,304 square kilometers
is the area of
Florida
([fact: ["427540360@trueknowledge.com"]])

Fact 1
is true for
February 4th 2010 onwards
([fact: ["674447984@trueknowledge.com"]])

Fact 1
is true for
January 13th 2009 onwards
([fact: ["647166428@trueknowledge.com"]])

Fact 2:
130,395 square kilometers
is the area of
England
([fact: ["242986559@trueknowledge.com"]])

Fact 2
is true for
January 13th 2009 onwards
([fact: ["242986563@trueknowledge.com"]])

By calculation (generator: ["first_parameter@trueknowledge.com"]) I know that:

130,395
is the first parameter of
130,395 square kilometers

By calculation (generator: ["instance_number@trueknowledge.com"]) I know that:

130,395
is a
number

By calculation (generator: ["strictequal1@trueknowledge.com"]) I know that:

130,395 square kilometers
is strictly equal to
130,395 square kilometers

By calculation (generator: ["base_unit_equivalent5@trueknowledge.com"]) I know that:

130,395 square kilometers
is the base unit equivalent of
130,395 square kilometers

By calculation (generator: ["second_parameter@trueknowledge.com"]) I know that:

square kilometer
is the second parameter of
130,395 square kilometers

I know from locally stored knowledge that:

square kilometer
is a
unit of measurement
([fact: ["155569081@trueknowledge.com"]])

square kilometer
is a
unit of area
([fact: ["105703922@trueknowledge.com"]])

square kilometer
is a
metric unit of measurement
([fact: ["134510888@trueknowledge.com"]])

By calculation (generator: ["instance_scalar_unit@trueknowledge.com"]) I know that:

square kilometer
is a
scalar unit

By calculation (generator: ["unit_used_in@trueknowledge.com"]) I know that:

square kilometer
is the unit used in
130,395 square kilometers

By calculation (generator: ["second_parameter@trueknowledge.com"]) I know that:

square kilometer
is the second parameter of
170,304 square kilometers

By calculation (generator: ["strictequal1@trueknowledge.com"]) I know that:

square kilometer
is strictly equal to
square kilometer

By calculation (generator: ["multiplier_that_converts4@trueknowledge.com"]) I know that:

Fact 3:
1
is the multiplier that converts
square kilometer and square kilometer

Fact 3
is true for
all time

By calculation (generator: ["timeperiodtopoint@trueknowledge.com"]) I know that:

Fact 3
is true at
April 16th 2014, 04:28:54

By calculation (generator: ["first_parameter@trueknowledge.com"]) I know that:

170,304
is the first parameter of
170,304 square kilometers

By calculation (generator: ["product@trueknowledge.com"]) I know that:

170,304
is the product of
1 and 170,304

By calculation (generator: ["class_parametered_object@trueknowledge.com"]) I know that:

area
is the class of the parametered object
170,304 square kilometers

By calculation (generator: ["parametered_object_corresponding_to@trueknowledge.com"]) I know that:

170,304 square kilometers
is the parametered object corresponding to
area and 170,304 and square kilometer

By calculation (generator: ["equivalent_to6@trueknowledge.com"]) I know that:

Fact 4:
170,304 square kilometers
is equivalent to
170,304 square kilometers

Fact 4
is true at
April 16th 2014, 04:28:54

Fact 4:
square kilometer
is the unit used in
170,304 square kilometers

By calculation (generator: ["numeric_greater_than@trueknowledge.com"]) I know that:

170,304
is greater than
130,395

Therefore (generator: ["numeric_greater_than@trueknowledge.com"]):

170,304
is not less than
130,395

170,304
is not the same as
130,395

By calculation (generator: ["scalar_greater@trueknowledge.com"]) I know that:

170,304 square kilometers
is greater than
130,395 square kilometers

By calculation (generator: ["tpintersect@trueknowledge.com"]) I know that:

February 4th 2010 onwards
is the timeperiod intersection of
February 4th 2010 onwards and January 13th 2009 onwards

By calculation (generator: ["scalar_comparison3@trueknowledge.com"]) I know that:

Fact 5:
Florida
is of greater area than
England

Fact 5
is true for
February 4th 2010 onwards

By calculation (generator: ["timeperiodtopoint@trueknowledge.com"]) I know that:

Fact 5
is true at
April 16th 2014, 04:28:54

By calculation (generator: ["scalar_comparison3@trueknowledge.com"]) I know that:

Fact 5
is true for
January 13th 2009 onwards

By calculation (generator: ["tpintersect@trueknowledge.com"]) I know that:

January 13th 2009 onwards
is the timeperiod intersection of
January 13th 2009 onwards and January 13th 2009 onwards