By calculation (generator: ["now@trueknowledge.com"]) I know that:
The current time is July 29th 2014, 13:02:19
By calculation (generator: ["second_parameter@trueknowledge.com"]) I know that:
US quart
is the second parameter of
1 US quart
I know from locally stored knowledge that:
Fact 1:
2
is the multiplier that converts
US quart and pint
([fact: ["234465602@trueknowledge.com"]])
Fact 1
is true for
all time
([fact: ["1050411594@trueknowledge.com"]])
By calculation (generator: ["timeperiodtopoint@trueknowledge.com"]) I know that:
Fact 1
is true at
July 29th 2014, 13:02:19
By calculation (generator: ["first_parameter@trueknowledge.com"]) I know that:
1
is the first parameter of
1 US quart
By calculation (generator: ["product@trueknowledge.com"]) I know that:
2
is the product of
2 and 1
By calculation (generator: ["class_parametered_object@trueknowledge.com"]) I know that:
volume
is the class of the parametered object
1 US quart
By calculation (generator: ["parametered_object_corresponding_to@trueknowledge.com"]) I know that:
2 pints
is the parametered object corresponding to
volume and 2 and pint
By calculation (generator: ["equivalent_to6@trueknowledge.com"]) I know that:
Fact 2:
2 pints
is equivalent to
1 US quart
Fact 2
is true at
July 29th 2014, 13:02:19
Fact 2:
pint
is the unit used in
2 pints
Therefore (generator: ["strictequal1@trueknowledge.com"]):
2 pints
is not strictly equal to
1 US quart