By calculation (generator: ["now@trueknowledge.com"]) I know that:
The current time is May 26th 2013, 03:31:17
By calculation (generator: ["second_parameter@trueknowledge.com"]) I know that:
ounce
is the second parameter of
1/20 ounces
I know from locally stored knowledge that:
Fact 1:
28.3495231
is the multiplier that converts
ounce and gram
([fact: ["127410406@trueknowledge.com"]])
Fact 1
is true for
May 15th 2008, 00:00:00 onwards
([fact: ["127410407@trueknowledge.com"]])
By calculation (generator: ["timeperiodtopoint@trueknowledge.com"]) I know that:
Fact 1
is true at
May 26th 2013, 03:31:17
By calculation (generator: ["first_parameter@trueknowledge.com"]) I know that:
1/20
is the first parameter of
1/20 ounces
By calculation (generator: ["product@trueknowledge.com"]) I know that:
1.417476155
is the product of
28.3495231 and 1/20
By calculation (generator: ["class_parametered_object@trueknowledge.com"]) I know that:
mass
is the class of the parametered object
1/20 ounces
By calculation (generator: ["parametered_object_corresponding_to@trueknowledge.com"]) I know that:
1.417476155 grams
is the parametered object corresponding to
mass and 1.417476155 and gram
By calculation (generator: ["equivalent_to6@trueknowledge.com"]) I know that:
Fact 2:
1.417476155 grams
is equivalent to
1/20 ounces
Fact 2
is true at
May 26th 2013, 03:31:17
Fact 2:
gram
is the unit used in
1.417476155 grams
Therefore (generator: ["strictequal1@trueknowledge.com"]):
1.417476155 grams
is not strictly equal to
1/20 ounces
