By calculation (generator: ["second_parameter@trueknowledge.com"]) I know that:
millimetre
is the second parameter of
33 millimetres
I know from locally stored knowledge that:
Fact 1:
millimetre
is a
metric unit of measurement
([fact: ["134510883@trueknowledge.com"]])
By calculation (generator: ["permanent@trueknowledge.com"]) I know that:
Fact 1
is true for
all time
I know from locally stored knowledge that:
metric unit of measurement
is a subclass of
scalar unit
([fact: ["230143346@trueknowledge.com"]])
permanent
applies to
metric unit of measurement
([fact: ["134123395@trueknowledge.com"]])
By calculation (generator: ["iaif1@trueknowledge.com"]) I know that:
Fact 2:
millimetre
is a
scalar unit
Fact 2
is true for
all time
By calculation (generator: ["unit_used_in@trueknowledge.com"]) I know that:
millimetre
is the unit used in
33 millimetres
By calculation (generator: ["second_parameter@trueknowledge.com"]) I know that:
inch
is the second parameter of
1 inch
I know from locally stored knowledge that:
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 3:
0.3048
is the multiplier that converts
foot and metre
([fact: ["124103541@trueknowledge.com"]])
Fact 3
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 4:
1,000
is the multiplier that converts
metre and millimetre
([fact: ["127368479@trueknowledge.com"]])
Fact 4
is true for
all time
([fact: ["1050410758@trueknowledge.com"]])
Fact 4
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 5:
25.4
is the multiplier that converts
inch and millimetre
Fact 5
is true for
all time
By calculation (generator: ["timeperiodtopoint@trueknowledge.com"]) I know that:
Fact 5
is true at
June 19th 2013, 08:41:09
By calculation (generator: ["multiplier_that_converts7@trueknowledge.com"]) I know that:
Fact 5
is true for
the beginning of time onwards
By calculation (generator: ["now@trueknowledge.com"]) I know that:
The current time is June 19th 2013, 08:41:09
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:
1
is the first parameter of
1 inch
By calculation (generator: ["product@trueknowledge.com"]) I know that:
25.4
is the product of
25.4 and 1
By calculation (generator: ["class_parametered_object@trueknowledge.com"]) I know that:
length
is the class of the parametered object
1 inch
By calculation (generator: ["parametered_object_corresponding_to@trueknowledge.com"]) I know that:
25.4 millimetres
is the parametered object corresponding to
length and 25.4 and millimetre
By calculation (generator: ["equivalent_to6@trueknowledge.com"]) I know that:
Fact 6:
25.4 millimetres
is equivalent to
1 inch
Fact 6
is true at
June 19th 2013, 08:41:09
Fact 6:
millimetre
is the unit used in
25.4 millimetres
By calculation (generator: ["first_parameter@trueknowledge.com"]) I know that:
25.4
is the first parameter of
25.4 millimetres
33
is the first parameter of
33 millimetres
By calculation (generator: ["quotient@trueknowledge.com"]) I know that:
0.76969696969697
is the quotient of
25.4 and 33
Facts
Show facts
