By calculation (generator: ["now@trueknowledge.com"]) I know that:
The current time is August 31st 2014, 08:24:55
By calculation (generator: ["second_parameter@trueknowledge.com"]) I know that:
nautical league
is the second parameter of
20,000 nautical leagues
I know from locally stored knowledge that:
nautical mile
is the optimum conversion unit for
nautical league
([fact: ["642099404@trueknowledge.com"]])
meter
is the optimum conversion unit for
nautical mile
([fact: ["642099408@trueknowledge.com"]])
Fact 1:
3
is the multiplier that converts
nautical league and nautical mile
([fact: ["641960632@trueknowledge.com"]])
Fact 1
is true for
October 5th 2009, 09:51:14 onwards
([fact: ["641960640@trueknowledge.com"]])
Fact 1
is true for
the beginning of time onwards
([fact: ["684532336@trueknowledge.com"]])
Therefore (generator: ["strictequal1@trueknowledge.com"]):
nautical mile
is not strictly equal to
kilometer
I know from locally stored knowledge that:
Fact 2:
1,852
is the multiplier that converts
nautical mile and meter
([fact: ["127368498@trueknowledge.com"]])
Fact 2
is true for
May 8th 2008, 00:00:00 onwards
([fact: ["127368499@trueknowledge.com"]])
Fact 2
is true for
all time
([fact: ["1050410766@trueknowledge.com"]])
Therefore (generator: ["strictequal1@trueknowledge.com"]):
meter
is not strictly equal to
nautical league
By calculation (generator: ["tpintersect@trueknowledge.com"]) I know that:
October 5th 2009, 09:51:14 onwards
is the timeperiod intersection of
October 5th 2009, 09:51:14 onwards and May 8th 2008, 00:00:00 onwards
October 5th 2009, 09:51:14 onwards
is the timeperiod intersection of
October 5th 2009, 09:51:14 onwards and all time
By calculation (generator: ["product@trueknowledge.com"]) I know that:
5 139/250
is the product of
3, 1,852 and 1/1000
By calculation (generator: ["multiplier_that_converts7@trueknowledge.com"]) I know that:
Fact 3:
5 139/250
is the multiplier that converts
nautical league and kilometer
Fact 3
is true for
October 5th 2009, 09:51:14 onwards
By calculation (generator: ["timeperiodtopoint@trueknowledge.com"]) I know that:
Fact 3
is true at
August 31st 2014, 08:24:55
By calculation (generator: ["multiplier_that_converts7@trueknowledge.com"]) I know that:
Fact 3
is true for
the beginning of time onwards
By calculation (generator: ["tpintersect@trueknowledge.com"]) I know that:
the beginning of time onwards
is the timeperiod intersection of
the beginning of time onwards and all time
the beginning of time onwards
is the timeperiod intersection of
the beginning of time onwards and the beginning of time onwards
By calculation (generator: ["first_parameter@trueknowledge.com"]) I know that:
20,000
is the first parameter of
20,000 nautical leagues
By calculation (generator: ["product@trueknowledge.com"]) I know that:
111,120
is the product of
5 139/250 and 20,000
By calculation (generator: ["class_parametered_object@trueknowledge.com"]) I know that:
length
is the class of the parametered object
20,000 nautical leagues
By calculation (generator: ["parametered_object_corresponding_to@trueknowledge.com"]) I know that:
111,120 kilometers
is the parametered object corresponding to
length and 111,120 and kilometer
By calculation (generator: ["equivalent_to6@trueknowledge.com"]) I know that:
Fact 4:
111,120 kilometers
is equivalent to
20,000 nautical leagues
Fact 4
is true at
August 31st 2014, 08:24:55
Fact 4:
kilometer
is the unit used in
111,120 kilometers