By calculation (generator: ["now@trueknowledge.com"]) I know that:
The current time is May 21st 2013, 04:56:48
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 Washington Monument
is in the group
the Washington Monument and the Statue of Liberty
the Statue of Liberty
is in the group
the Washington Monument and the Statue of Liberty
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 metres
is the height of
the Washington Monument
([fact: ["152032765@trueknowledge.com"]])
Fact 1
is true for
January 13th 2009 onwards
([fact: ["710453196@trueknowledge.com"]])
Fact 1
is true for
September 24th 2008 onwards
([fact: ["152032777@trueknowledge.com"]])
Fact 2:
93 metres 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 metres
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 metres
By calculation (generator: ["instance_number@trueknowledge.com"]) I know that:
93
is a
number
By calculation (generator: ["strictequal1@trueknowledge.com"]) I know that:
93 metres
is strictly equal to
93 metres
By calculation (generator: ["base_unit_equivalent5@trueknowledge.com"]) I know that:
93 metres
is the base unit equivalent of
93 metres
By calculation (generator: ["second_parameter@trueknowledge.com"]) I know that:
metre
is the second parameter of
93 metres
I know from locally stored knowledge that:
metre
is a
unit of length
([fact: ["1162015@trueknowledge.com"]])
metre
is a
unit of measurement
([fact: ["155570053@trueknowledge.com"]])
metre
is a
SI base unit
([fact: ["129904688@trueknowledge.com"]])
metre
is a
metric unit of measurement
([fact: ["134510878@trueknowledge.com"]])
By calculation (generator: ["instance_scalar_unit@trueknowledge.com"]) I know that:
metre
is a
scalar unit
By calculation (generator: ["unit_used_in@trueknowledge.com"]) I know that:
metre
is the unit used in
93 metres
By calculation (generator: ["second_parameter@trueknowledge.com"]) I know that:
metre
is the second parameter of
169 metres
I know from locally stored knowledge that:
Fact 4:
1
is the multiplier that converts
metre and metre
([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
May 21st 2013, 04:56:48
By calculation (generator: ["first_parameter@trueknowledge.com"]) I know that:
169
is the first parameter of
169 metres
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 metres
By calculation (generator: ["parametered_object_corresponding_to@trueknowledge.com"]) I know that:
169 metres
is the parametered object corresponding to
length and 169 and metre
By calculation (generator: ["equivalent_to6@trueknowledge.com"]) I know that:
Fact 5:
169 metres
is equivalent to
169 metres
Fact 5
is true at
May 21st 2013, 04:56:48
Fact 5:
metre
is the unit used in
169 metres
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 metres
is greater than
93 metres
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: ["scalar_comparison3@trueknowledge.com"]) I know that:
Fact 6:
the Washington Monument
is taller than
the Statue of Liberty
Fact 6
is true for
January 13th 2009 onwards
Fact 6
is true for
September 24th 2008 onwards
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: ["maximal_member2@trueknowledge.com"]) I know that:
Fact 7:
the Washington Monument
is the maximal member by left comparison of
the Washington Monument and the Statue of Liberty and is the height of
Fact 7
is true for
September 24th 2008 onwards
By calculation (generator: ["timeperiodtopoint@trueknowledge.com"]) I know that:
Fact 7
is true at
May 21st 2013, 04:56:48
By calculation (generator: ["maximal_member2@trueknowledge.com"]) I know that:
Fact 7
is true for
January 13th 2009 onwards
Facts
Show facts
