By calculation (generator: ["now@trueknowledge.com"]) I know that:
The current time is September 2nd 2014, 00:22:05
By calculation (generator: ["second_parameter@trueknowledge.com"]) I know that:
US quart
is the second parameter of
40 US quarts
I know from locally stored knowledge that:
US pint
is the optimum conversion unit for
US quart
([fact: ["644332436@trueknowledge.com"]])
liter
is the optimum conversion unit for
US pint
([fact: ["644332408@trueknowledge.com"]])
Fact 1:
2
is the multiplier that converts
US quart and US pint
([fact: ["643458892@trueknowledge.com"]])
Fact 1
is true for
all time
([fact: ["1050413278@trueknowledge.com"]])
Fact 1
is true for
the beginning of time onwards
([fact: ["684532688@trueknowledge.com"]])
Therefore (generator: ["strictequal1@trueknowledge.com"]):
US pint
is not strictly equal to
cubic foot
I know from locally stored knowledge that:
Fact 2:
0.473176473
is the multiplier that converts
US pint and liter
([fact: ["643458900@trueknowledge.com"]])
Fact 2
is true for
all time
([fact: ["1050413286@trueknowledge.com"]])
Fact 2
is true for
the beginning of time onwards
([fact: ["684532640@trueknowledge.com"]])
Therefore (generator: ["strictequal1@trueknowledge.com"]):
liter
is not strictly equal to
US quart
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.0334201388888889
is the product of
2, 0.473176473 and 0.0353146667214886
By calculation (generator: ["multiplier_that_converts7@trueknowledge.com"]) I know that:
Fact 3:
0.0334201388888889
is the multiplier that converts
US quart and cubic foot
Fact 3
is true for
all time
By calculation (generator: ["timeperiodtopoint@trueknowledge.com"]) I know that:
Fact 3
is true at
September 2nd 2014, 00:22:05
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 the beginning of time onwards
By calculation (generator: ["first_parameter@trueknowledge.com"]) I know that:
40
is the first parameter of
40 US quarts
By calculation (generator: ["product@trueknowledge.com"]) I know that:
1.33680555555556
is the product of
0.0334201388888889 and 40
By calculation (generator: ["class_parametered_object@trueknowledge.com"]) I know that:
volume
is the class of the parametered object
40 US quarts
By calculation (generator: ["parametered_object_corresponding_to@trueknowledge.com"]) I know that:
1.33680555555556 cubic feet
is the parametered object corresponding to
volume and 1.33680555555556 and cubic foot
By calculation (generator: ["equivalent_to6@trueknowledge.com"]) I know that:
Fact 4:
1.33680555555556 cubic feet
is equivalent to
40 US quarts
Fact 4
is true at
September 2nd 2014, 00:22:05
Fact 4:
cubic foot
is the unit used in
1.33680555555556 cubic feet