By calculation (generator: ["now@trueknowledge.com"]) I know that:
The current time is June 19th 2013, 04:35:00
By calculation (generator: ["second_parameter@trueknowledge.com"]) I know that:
nautical league
is the second parameter of
32 nautical leagues
I know from locally stored knowledge that:
nautical mile
is the optimum conversion unit for
nautical league
([fact: ["642099404@trueknowledge.com"]])
metre
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
Metric foot
I know from locally stored knowledge that:
Fact 2:
1,852
is the multiplier that converts
nautical mile and metre
([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"]):
metre
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:
18,520.0
is the product of
3, 1,852 and 3.33333333333333
By calculation (generator: ["multiplier_that_converts7@trueknowledge.com"]) I know that:
Fact 3:
18,520.0
is the multiplier that converts
nautical league and Metric foot
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
June 19th 2013, 04:35:00
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:
32
is the first parameter of
32 nautical leagues
By calculation (generator: ["product@trueknowledge.com"]) I know that:
592,640.0
is the product of
18,520.0 and 32
By calculation (generator: ["class_parametered_object@trueknowledge.com"]) I know that:
length
is the class of the parametered object
32 nautical leagues
By calculation (generator: ["parametered_object_corresponding_to@trueknowledge.com"]) I know that:
592,640.0 metric feet
is the parametered object corresponding to
length and 592,640.0 and Metric foot
By calculation (generator: ["equivalent_to6@trueknowledge.com"]) I know that:
Fact 4:
592,640.0 metric feet
is equivalent to
32 nautical leagues
Fact 4
is true at
June 19th 2013, 04:35:00
Fact 4:
Metric foot
is the unit used in
592,640.0 metric feet
Facts
Show facts
