By calculation (generator: ["now@trueknowledge.com"]) I know that:
The current time is September 1st 2014, 11:46:28
By calculation (generator: ["second_parameter@trueknowledge.com"]) I know that:
inch
is the second parameter of
5.5 inches
I know from locally stored knowledge that:
foot
is the optimum conversion unit for
inch
([fact: ["642099196@trueknowledge.com"]])
meter
is the optimum conversion unit for
foot
([fact: ["642099028@trueknowledge.com"]])
Therefore (generator: ["strictequal1@trueknowledge.com"]):
foot
is not strictly equal to
millimeter
I know from locally stored knowledge that:
Fact 1:
0.3048
is the multiplier that converts
foot and meter
([fact: ["124103541@trueknowledge.com"]])
Fact 1
is true for
all time
([fact: ["1050410746@trueknowledge.com"]])
Therefore (generator: ["strictequal1@trueknowledge.com"]):
meter
is not strictly equal to
inch
I know from locally stored knowledge that:
Fact 2:
1,000
is the multiplier that converts
meter and millimeter
([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 millimeter
Fact 3
is true for
all time
By calculation (generator: ["timeperiodtopoint@trueknowledge.com"]) I know that:
Fact 3
is true at
September 1st 2014, 11:46:28
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:
5.5
is the first parameter of
5.5 inches
By calculation (generator: ["product@trueknowledge.com"]) I know that:
139.7
is the product of
25.4 and 5.5
By calculation (generator: ["class_parametered_object@trueknowledge.com"]) I know that:
length
is the class of the parametered object
5.5 inches
By calculation (generator: ["parametered_object_corresponding_to@trueknowledge.com"]) I know that:
139.7 millimeters
is the parametered object corresponding to
length and 139.7 and millimeter
By calculation (generator: ["equivalent_to6@trueknowledge.com"]) I know that:
Fact 4:
139.7 millimeters
is equivalent to
5.5 inches
Fact 4
is true at
September 1st 2014, 11:46:28
Fact 4:
millimeter
is the unit used in
139.7 millimeters