By calculation (generator: ["now@trueknowledge.com"]) I know that:
The current time is February 12th 2012, 21:06:36
By calculation (generator: ["second_parameter@trueknowledge.com"]) I know that:
feet and inches
is the second parameter of
5 feet and 11 inches
I know from locally stored knowledge that:
feet and inches
is a
compound unit
([fact: ["243033026@trueknowledge.com"]])
feet and inches
is a
compound of two units
([fact: ["123942157@trueknowledge.com"]])
By calculation (generator: ["class_parametered_object@trueknowledge.com"]) I know that:
length
is the class of the parametered object
5 feet and 11 inches
By calculation (generator: ["first_parameter@trueknowledge.com"]) I know that:
5 and 11
is the first parameter of
5 feet and 11 inches
5
is the first parameter of
5 and 11
By calculation (generator: ["second_parameter@trueknowledge.com"]) I know that:
11
is the second parameter of
5 and 11
I know from locally stored knowledge that:
foot
is the first unit of
feet and inches
([fact: ["123942219@trueknowledge.com"]])
inch
is the second unit of
feet and inches
([fact: ["123942220@trueknowledge.com"]])
12
is the multiplier that converts
foot and inch
([fact: ["123969238@trueknowledge.com"]])
By calculation (generator: ["product@trueknowledge.com"]) I know that:
60
is the product of
5 and 12
By calculation (generator: ["sum@trueknowledge.com"]) I know that:
71
is the sum of
60 and 11
By calculation (generator: ["parametered_object_corresponding_to@trueknowledge.com"]) I know that:
71 inches
is the parametered object corresponding to
length and 71 and inch
By calculation (generator: ["base_unit_equivalent@trueknowledge.com"]) I know that:
71 inches
is the base unit equivalent of
5 feet and 11 inches
By calculation (generator: ["second_parameter@trueknowledge.com"]) I know that:
inch
is the second parameter of
71 inches
I know from locally stored knowledge that:
0
is the lowest point on the scale of
inch
([fact: ["127395281@trueknowledge.com"]])
0
is the lowest point on the scale of
kilometre
([fact: ["127395291@trueknowledge.com"]])
foot
is the optimum conversion unit for
inch
([fact: ["642099196@trueknowledge.com"]])
metre
is the optimum conversion unit for
foot
([fact: ["642099028@trueknowledge.com"]])
Therefore (generator: ["strictequal1@trueknowledge.com"]):
foot
is not strictly equal to
kilometre
I know from locally stored knowledge that:
Fact 1:
0.3048
is the multiplier that converts
foot and metre
([fact: ["124103541@trueknowledge.com"]])
Fact 1
is true for
all time
([fact: ["1050410746@trueknowledge.com"]])
Therefore (generator: ["strictequal1@trueknowledge.com"]):
metre
is not strictly equal to
inch
By calculation (generator: ["tpintersect@trueknowledge.com"]) I know that:
all time
is the timeperiod intersection of
all time and all time
By calculation (generator: ["product@trueknowledge.com"]) I know that:
0.0000254000000000000
is the product of
1/12, 0.3048 and 1/1000
By calculation (generator: ["multiplier_that_converts7@trueknowledge.com"]) I know that:
Fact 2:
0.0000254000000000000
is the multiplier that converts
inch and kilometre
Fact 2
is true for
all time
By calculation (generator: ["timeperiodtopoint@trueknowledge.com"]) I know that:
Fact 2
is true at
February 12th 2012, 21:06:36
By calculation (generator: ["multiplier_that_converts7@trueknowledge.com"]) I know that:
Fact 2
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:
71
is the first parameter of
71 inches
By calculation (generator: ["difference@trueknowledge.com"]) I know that:
71
is the difference of
71 and 0
By calculation (generator: ["product@trueknowledge.com"]) I know that:
0.0018034
is the product of
0.0000254000000000000 and 71
By calculation (generator: ["sum@trueknowledge.com"]) I know that:
0.0018034
is the sum of
0.0018034 and 0
By calculation (generator: ["parametered_object_corresponding_to@trueknowledge.com"]) I know that:
0.0018034 kilometres
is the parametered object corresponding to
length and 0.0018034 and kilometre
By calculation (generator: ["equivalent_to4@trueknowledge.com"]) I know that:
Fact 3:
0.0018034 kilometres
is equivalent to
5 feet and 11 inches
Fact 3
is true at
February 12th 2012, 21:06:36
Fact 3:
kilometre
is the unit used in
0.0018034 kilometres
Adding…
