By calculation (generator: ["now@trueknowledge.com"]) I know that:
The current time is August 22nd 2014, 07:54:54
I know from locally stored knowledge that:
is taller than
is a left comparison of
is the height of
([fact: ["16633219@trueknowledge.com"]])
By calculation (generator: ["in_group@trueknowledge.com"]) I know that:
the Statue of Liberty
is in the group
the Statue of Liberty and the Washington Monument
the Washington Monument
is in the group
the Statue of Liberty and the Washington Monument
Therefore (generator: ["strictequal1@trueknowledge.com"]):
the Washington Monument
is not strictly equal to
the Statue of Liberty
I know from locally stored knowledge that:
Fact 1:
169 meters
is the height of
the Washington Monument
([fact: ["152032765@trueknowledge.com"]])
Fact 1
is true for
September 24th 2008 onwards
([fact: ["152032777@trueknowledge.com"]])
Fact 1
is true for
January 13th 2009 onwards
([fact: ["710453196@trueknowledge.com"]])
Fact 2:
93 meters tall
applies to
the Statue of Liberty
([fact: ["123986526@trueknowledge.com"]])
Fact 2
is true for
March 28th 2008, 20:08 onwards
([fact: ["1018675754@trueknowledge.com"]])
By calculation (generator: ["height@trueknowledge.com"]) I know that:
Fact 3:
93 meters
is the height of
the Statue of Liberty
Fact 3
is true for
March 28th 2008, 20:08 onwards
By calculation (generator: ["first_parameter@trueknowledge.com"]) I know that:
93
is the first parameter of
93 meters
By calculation (generator: ["instance_number@trueknowledge.com"]) I know that:
93
is a
number
By calculation (generator: ["strictequal1@trueknowledge.com"]) I know that:
93 meters
is strictly equal to
93 meters
By calculation (generator: ["base_unit_equivalent5@trueknowledge.com"]) I know that:
93 meters
is the base unit equivalent of
93 meters
By calculation (generator: ["second_parameter@trueknowledge.com"]) I know that:
meter
is the second parameter of
93 meters
I know from locally stored knowledge that:
meter
is a
unit of length
([fact: ["1162015@trueknowledge.com"]])
meter
is a
unit of measurement
([fact: ["155570053@trueknowledge.com"]])
meter
is a
SI base unit
([fact: ["129904688@trueknowledge.com"]])
meter
is a
metric unit of measurement
([fact: ["134510878@trueknowledge.com"]])
By calculation (generator: ["instance_scalar_unit@trueknowledge.com"]) I know that:
meter
is a
scalar unit
By calculation (generator: ["unit_used_in@trueknowledge.com"]) I know that:
meter
is the unit used in
93 meters
By calculation (generator: ["second_parameter@trueknowledge.com"]) I know that:
meter
is the second parameter of
169 meters
I know from locally stored knowledge that:
Fact 4:
1
is the multiplier that converts
meter and meter
([fact: ["641960576@trueknowledge.com"]])
Fact 4
is true for
all time
([fact: ["1050412214@trueknowledge.com"]])
By calculation (generator: ["timeperiodtopoint@trueknowledge.com"]) I know that:
Fact 4
is true at
August 22nd 2014, 07:54:54
By calculation (generator: ["first_parameter@trueknowledge.com"]) I know that:
169
is the first parameter of
169 meters
By calculation (generator: ["product@trueknowledge.com"]) I know that:
169
is the product of
1 and 169
By calculation (generator: ["class_parametered_object@trueknowledge.com"]) I know that:
length
is the class of the parametered object
169 meters
By calculation (generator: ["parametered_object_corresponding_to@trueknowledge.com"]) I know that:
169 meters
is the parametered object corresponding to
length and 169 and meter
By calculation (generator: ["equivalent_to6@trueknowledge.com"]) I know that:
Fact 5:
169 meters
is equivalent to
169 meters
Fact 5
is true at
August 22nd 2014, 07:54:54
Fact 5:
meter
is the unit used in
169 meters
By calculation (generator: ["numeric_greater_than@trueknowledge.com"]) I know that:
169
is greater than
93
Therefore (generator: ["numeric_greater_than@trueknowledge.com"]):
169
is not less than
93
169
is not the same as
93
By calculation (generator: ["scalar_greater@trueknowledge.com"]) I know that:
169 meters
is greater than
93 meters
By calculation (generator: ["tpintersect@trueknowledge.com"]) I know that:
September 24th 2008 onwards
is the timeperiod intersection of
September 24th 2008 onwards and March 28th 2008, 20:08 onwards
By calculation (generator: ["scalar_comparison3@trueknowledge.com"]) I know that:
Fact 6:
the Washington Monument
is taller than
the Statue of Liberty
Fact 6
is true for
September 24th 2008 onwards
Fact 6
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 March 28th 2008, 20:08 onwards
By calculation (generator: ["maximal_member2@trueknowledge.com"]) I know that:
Fact 7:
the Washington Monument
is the maximal member by left comparison of
the Statue of Liberty and the Washington Monument and is the height of
Fact 7
is true for
January 13th 2009 onwards
By calculation (generator: ["timeperiodtopoint@trueknowledge.com"]) I know that:
Fact 7
is true at
August 22nd 2014, 07:54:54
By calculation (generator: ["maximal_member2@trueknowledge.com"]) I know that:
Fact 7
is true for
September 24th 2008 onwards