By calculation (generator: ["now@trueknowledge.com"]) I know that:
The current time is May 23rd 2013, 17:01:40
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 Empire State building
is in the group
the Empire State building and the Washington Monument
the Washington Monument
is in the group
the Empire State building and the Washington Monument
Therefore (generator: ["strictequal1@trueknowledge.com"]):
the Empire State building
is not strictly equal to
the Washington Monument
I know from locally stored knowledge that:
Fact 1:
381 metres
is the height of
the Empire State building
([fact: ["152650309@trueknowledge.com"]])
Fact 1
is true for
September 24th 2008 onwards
([fact: ["152650313@trueknowledge.com"]])
Fact 2:
169 metres
is the height of
the Washington Monument
([fact: ["152032765@trueknowledge.com"]])
Fact 2
is true for
September 24th 2008 onwards
([fact: ["152032777@trueknowledge.com"]])
Fact 2
is true for
January 13th 2009 onwards
([fact: ["710453196@trueknowledge.com"]])
By calculation (generator: ["first_parameter@trueknowledge.com"]) I know that:
169
is the first parameter of
169 metres
By calculation (generator: ["instance_number@trueknowledge.com"]) I know that:
169
is a
number
By calculation (generator: ["strictequal1@trueknowledge.com"]) I know that:
169 metres
is strictly equal to
169 metres
By calculation (generator: ["base_unit_equivalent5@trueknowledge.com"]) I know that:
169 metres
is the base unit equivalent of
169 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:
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
169 metres
By calculation (generator: ["second_parameter@trueknowledge.com"]) I know that:
metre
is the second parameter of
381 metres
I know from locally stored knowledge that:
Fact 3:
1
is the multiplier that converts
metre and metre
([fact: ["641960576@trueknowledge.com"]])
Fact 3
is true for
all time
([fact: ["1050412214@trueknowledge.com"]])
By calculation (generator: ["timeperiodtopoint@trueknowledge.com"]) I know that:
Fact 3
is true at
May 23rd 2013, 17:01:40
By calculation (generator: ["first_parameter@trueknowledge.com"]) I know that:
381
is the first parameter of
381 metres
By calculation (generator: ["product@trueknowledge.com"]) I know that:
381
is the product of
1 and 381
By calculation (generator: ["class_parametered_object@trueknowledge.com"]) I know that:
length
is the class of the parametered object
381 metres
By calculation (generator: ["parametered_object_corresponding_to@trueknowledge.com"]) I know that:
381 metres
is the parametered object corresponding to
length and 381 and metre
By calculation (generator: ["equivalent_to6@trueknowledge.com"]) I know that:
Fact 4:
381 metres
is equivalent to
381 metres
Fact 4
is true at
May 23rd 2013, 17:01:40
Fact 4:
metre
is the unit used in
381 metres
By calculation (generator: ["numeric_greater_than@trueknowledge.com"]) I know that:
381
is greater than
169
Therefore (generator: ["numeric_greater_than@trueknowledge.com"]):
381
is not less than
169
381
is not the same as
169
By calculation (generator: ["scalar_greater@trueknowledge.com"]) I know that:
381 metres
is greater than
169 metres
By calculation (generator: ["tpintersect@trueknowledge.com"]) I know that:
September 24th 2008 onwards
is the timeperiod intersection of
September 24th 2008 onwards and September 24th 2008 onwards
By calculation (generator: ["scalar_comparison3@trueknowledge.com"]) I know that:
Fact 5:
the Empire State building
is taller than
the Washington Monument
Fact 5
is true for
September 24th 2008 onwards
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
September 24th 2008 onwards and January 13th 2009 onwards
By calculation (generator: ["maximal_member2@trueknowledge.com"]) I know that:
Fact 6:
the Empire State building
is the maximal member by left comparison of
the Empire State building and the Washington Monument and is the height of
Fact 6
is true for
January 13th 2009 onwards
By calculation (generator: ["timeperiodtopoint@trueknowledge.com"]) I know that:
Fact 6
is true at
May 23rd 2013, 17:01:40
By calculation (generator: ["maximal_member2@trueknowledge.com"]) I know that:
Fact 6
is true for
September 24th 2008 onwards