By calculation (generator: ["now@trueknowledge.com"]) I know that:
The current time is May 24th 2013, 01:10:37
By calculation (generator: ["second_parameter@trueknowledge.com"]) I know that:
feet and inches
is the second parameter of
32 feet and 7.13 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
32 feet and 7.13 inches
By calculation (generator: ["first_parameter@trueknowledge.com"]) I know that:
32 and 7.13
is the first parameter of
32 feet and 7.13 inches
32
is the first parameter of
32 and 7.13
By calculation (generator: ["second_parameter@trueknowledge.com"]) I know that:
7.13
is the second parameter of
32 and 7.13
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:
384
is the product of
32 and 12
By calculation (generator: ["sum@trueknowledge.com"]) I know that:
391.13
is the sum of
384 and 7.13
By calculation (generator: ["parametered_object_corresponding_to@trueknowledge.com"]) I know that:
391.13 inches
is the parametered object corresponding to
length and 391.13 and inch
By calculation (generator: ["base_unit_equivalent@trueknowledge.com"]) I know that:
391.13 inches
is the base unit equivalent of
32 feet and 7.13 inches
By calculation (generator: ["second_parameter@trueknowledge.com"]) I know that:
inch
is the second parameter of
391.13 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
millimetre
([fact: ["127395310@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
millimetre
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
I know from locally stored knowledge that:
Fact 2:
1,000
is the multiplier that converts
metre and millimetre
([fact: ["127368479@trueknowledge.com"]])
Fact 2
is true for
all time
([fact: ["1050410758@trueknowledge.com"]])
Fact 2
is true for
the beginning of time onwards
([fact: ["127368480@trueknowledge.com"]])
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:
25.4
is the product of
1/12, 0.3048 and 1,000
By calculation (generator: ["multiplier_that_converts7@trueknowledge.com"]) I know that:
Fact 3:
25.4
is the multiplier that converts
inch and millimetre
Fact 3
is true for
all time
By calculation (generator: ["timeperiodtopoint@trueknowledge.com"]) I know that:
Fact 3
is true at
May 24th 2013, 01:10:37
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:
391.13
is the first parameter of
391.13 inches
By calculation (generator: ["difference@trueknowledge.com"]) I know that:
391.13
is the difference of
391.13 and 0
By calculation (generator: ["product@trueknowledge.com"]) I know that:
9,934.702
is the product of
25.4 and 391.13
By calculation (generator: ["sum@trueknowledge.com"]) I know that:
9,934.702
is the sum of
9,934.702 and 0
By calculation (generator: ["parametered_object_corresponding_to@trueknowledge.com"]) I know that:
9,934.702 millimetres
is the parametered object corresponding to
length and 9,934.702 and millimetre
By calculation (generator: ["equivalent_to4@trueknowledge.com"]) I know that:
Fact 4:
9,934.702 millimetres
is equivalent to
32 feet and 7.13 inches
Fact 4
is true at
May 24th 2013, 01:10:37
Fact 4:
millimetre
is the unit used in
9,934.702 millimetres