By calculation (generator: ["now@trueknowledge.com"]) I know that:
The current time is May 24th 2013, 19:46:06
By calculation (generator: ["second_parameter@trueknowledge.com"]) I know that:
metres and centimetres
is the second parameter of
1 metre and 72 centimetres
I know from locally stored knowledge that:
metres and centimetres
is a
compound unit
([fact: ["243033030@trueknowledge.com"]])
metres and centimetres
is a
compound of two units
([fact: ["127371770@trueknowledge.com"]])
By calculation (generator: ["class_parametered_object@trueknowledge.com"]) I know that:
length
is the class of the parametered object
1 metre and 72 centimetres
By calculation (generator: ["first_parameter@trueknowledge.com"]) I know that:
1 and 72
is the first parameter of
1 metre and 72 centimetres
1
is the first parameter of
1 and 72
By calculation (generator: ["second_parameter@trueknowledge.com"]) I know that:
72
is the second parameter of
1 and 72
I know from locally stored knowledge that:
metre
is the first unit of
metres and centimetres
([fact: ["127371780@trueknowledge.com"]])
centimetre
is the second unit of
metres and centimetres
([fact: ["127371779@trueknowledge.com"]])
100
is the multiplier that converts
metre and centimetre
([fact: ["127371817@trueknowledge.com"]])
By calculation (generator: ["product@trueknowledge.com"]) I know that:
100
is the product of
1 and 100
By calculation (generator: ["sum@trueknowledge.com"]) I know that:
172
is the sum of
100 and 72
By calculation (generator: ["parametered_object_corresponding_to@trueknowledge.com"]) I know that:
172 centimetres
is the parametered object corresponding to
length and 172 and centimetre
By calculation (generator: ["base_unit_equivalent@trueknowledge.com"]) I know that:
172 centimetres
is the base unit equivalent of
1 metre and 72 centimetres
By calculation (generator: ["second_parameter@trueknowledge.com"]) I know that:
centimetre
is the second parameter of
172 centimetres
I know from locally stored knowledge that:
0
is the lowest point on the scale of
centimetre
([fact: ["127395267@trueknowledge.com"]])
0
is the lowest point on the scale of
foot
([fact: ["127395270@trueknowledge.com"]])
metre
is the optimum conversion unit for
centimetre
([fact: ["642098800@trueknowledge.com"]])
Fact 1:
0.01
is the multiplier that converts
centimetre and metre
([fact: ["641960376@trueknowledge.com"]])
Fact 1
is true for
all time
([fact: ["1050410722@trueknowledge.com"]])
Fact 1
is true for
the beginning of time onwards
([fact: ["684531828@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:
0.0328083989501312
is the product of
0.01 and 3.28083989501312
By calculation (generator: ["multiplier_that_converts2@trueknowledge.com"]) I know that:
Fact 2:
0.0328083989501312
is the multiplier that converts
centimetre and foot
Fact 2
is true for
all time
By calculation (generator: ["timeperiodtopoint@trueknowledge.com"]) I know that:
Fact 2
is true at
May 24th 2013, 19:46:06
By calculation (generator: ["multiplier_that_converts2@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
By calculation (generator: ["first_parameter@trueknowledge.com"]) I know that:
172
is the first parameter of
172 centimetres
By calculation (generator: ["difference@trueknowledge.com"]) I know that:
172
is the difference of
172 and 0
By calculation (generator: ["product@trueknowledge.com"]) I know that:
5.64304461942257
is the product of
0.0328083989501312 and 172
By calculation (generator: ["sum@trueknowledge.com"]) I know that:
5.64304461942257
is the sum of
5.64304461942257 and 0
By calculation (generator: ["parametered_object_corresponding_to@trueknowledge.com"]) I know that:
5.64304461942257 feet
is the parametered object corresponding to
length and 5.64304461942257 and foot
By calculation (generator: ["equivalent_to4@trueknowledge.com"]) I know that:
Fact 3:
5.64304461942257 feet
is equivalent to
1 metre and 72 centimetres
Fact 3
is true at
May 24th 2013, 19:46:06
Fact 3:
foot
is the unit used in
5.64304461942257 feet