By calculation (generator: ["now@trueknowledge.com"]) I know that:
The current time is May 23rd 2013, 19:34:06
By calculation (generator: ["second_parameter@trueknowledge.com"]) I know that:
stone
is the second parameter of
1 stone
I know from locally stored knowledge that:
pound
is the optimum conversion unit for
stone
([fact: ["643321220@trueknowledge.com"]])
kilogram
is the optimum conversion unit for
pound
([fact: ["643321128@trueknowledge.com"]])
Fact 1:
14
is the multiplier that converts
stone and pound
([fact: ["139867408@trueknowledge.com"]])
Fact 1
is true for
October 8th 2008, 20:08 onwards
([fact: ["1058551038@trueknowledge.com"]])
Fact 1
is true for
all time
([fact: ["1050411526@trueknowledge.com"]])
Therefore (generator: ["strictequal1@trueknowledge.com"]):
pound
is not strictly equal to
gram
I know from locally stored knowledge that:
Fact 2:
0.45359237
is the multiplier that converts
pound and kilogram
([fact: ["641974492@trueknowledge.com"]])
Fact 2
is true for
July 1st 1959 onwards
([fact: ["2181912710@trueknowledge.com"]])
Fact 2
is true for
all time
([fact: ["910051066@trueknowledge.com"]])
Therefore (generator: ["strictequal1@trueknowledge.com"]):
kilogram
is not strictly equal to
stone
By calculation (generator: ["tpintersect@trueknowledge.com"]) I know that:
October 8th 2008, 20:08 onwards
is the timeperiod intersection of
October 8th 2008, 20:08 onwards and July 1st 1959 onwards
December 6th 2010, 14:22:02 onwards
is the timeperiod intersection of
October 8th 2008, 20:08 onwards and December 6th 2010, 14:22:02 onwards
By calculation (generator: ["product@trueknowledge.com"]) I know that:
6,350.29318
is the product of
14, 0.45359237 and 1,000.0
By calculation (generator: ["multiplier_that_converts7@trueknowledge.com"]) I know that:
Fact 3:
6,350.29318
is the multiplier that converts
stone and gram
Fact 3
is true for
December 6th 2010, 14:22:02 onwards
By calculation (generator: ["timeperiodtopoint@trueknowledge.com"]) I know that:
Fact 3
is true at
May 23rd 2013, 19:34:06
By calculation (generator: ["multiplier_that_converts7@trueknowledge.com"]) I know that:
Fact 3
is true for
the beginning of time onwards
I know from locally stored knowledge that:
Fact 4:
1,000
is the multiplier that converts
kilogram and gram
([fact: ["123916274@trueknowledge.com"]])
Fact 4
is true for
the beginning of time onwards
([fact: ["124046259@trueknowledge.com"]])
By calculation (generator: ["tpintersect@trueknowledge.com"]) I know that:
all time
is the timeperiod intersection of
all time and all time
the beginning of time onwards
is the timeperiod intersection of
all time and the beginning of time onwards
By calculation (generator: ["product@trueknowledge.com"]) I know that:
6,350.29318
is the product of
14, 0.45359237 and 1,000
By calculation (generator: ["first_parameter@trueknowledge.com"]) I know that:
1
is the first parameter of
1 stone
By calculation (generator: ["product@trueknowledge.com"]) I know that:
6,350.29318
is the product of
6,350.29318 and 1
By calculation (generator: ["class_parametered_object@trueknowledge.com"]) I know that:
mass
is the class of the parametered object
1 stone
By calculation (generator: ["parametered_object_corresponding_to@trueknowledge.com"]) I know that:
6,350.29318 grams
is the parametered object corresponding to
mass and 6,350.29318 and gram
By calculation (generator: ["equivalent_to6@trueknowledge.com"]) I know that:
Fact 5:
6,350.29318 grams
is equivalent to
1 stone
Fact 5
is true at
May 23rd 2013, 19:34:06
Fact 5:
gram
is the unit used in
6,350.29318 grams
Therefore (generator: ["strictequal1@trueknowledge.com"]):
6,350.29318 grams
is not strictly equal to
1 stone