By calculation (generator: ["now@trueknowledge.com"]) I know that:
The current time is April 25th 2014, 01:00:10
By calculation (generator: ["second_parameter@trueknowledge.com"]) I know that:
US gallon
is the second parameter of
1 US gallon
I know from locally stored knowledge that:
US customary pint
is the optimum conversion unit for
US gallon
([fact: ["644332440@trueknowledge.com"]])
Fact 1:
8
is the multiplier that converts
US gallon and US customary pint
([fact: ["644333176@trueknowledge.com"]])
Fact 1
is true for
October 26th 2009, 15:39:34 onwards
([fact: ["644333188@trueknowledge.com"]])
Fact 1
is true for
the beginning of time onwards
([fact: ["684532680@trueknowledge.com"]])
Fact 2:
2
is the multiplier that converts
US customary pint and US cup
([fact: ["644333152@trueknowledge.com"]])
Fact 2
is true for
October 26th 2009, 15:39:28 onwards
([fact: ["644333168@trueknowledge.com"]])
Fact 2
is true for
the beginning of time onwards
([fact: ["684532648@trueknowledge.com"]])
By calculation (generator: ["tpintersect@trueknowledge.com"]) I know that:
October 26th 2009, 15:39:34 onwards
is the timeperiod intersection of
October 26th 2009, 15:39:34 onwards and October 26th 2009, 15:39:28 onwards
By calculation (generator: ["product@trueknowledge.com"]) I know that:
16
is the product of
8 and 2
By calculation (generator: ["multiplier_that_converts2@trueknowledge.com"]) I know that:
Fact 3:
16
is the multiplier that converts
US gallon and US cup
Fact 3
is true for
October 26th 2009, 15:39:34 onwards
By calculation (generator: ["timeperiodtopoint@trueknowledge.com"]) I know that:
Fact 3
is true at
April 25th 2014, 01:00:10
By calculation (generator: ["multiplier_that_converts2@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:
1
is the first parameter of
1 US gallon
By calculation (generator: ["product@trueknowledge.com"]) I know that:
16
is the product of
16 and 1
By calculation (generator: ["class_parametered_object@trueknowledge.com"]) I know that:
volume
is the class of the parametered object
1 US gallon
By calculation (generator: ["parametered_object_corresponding_to@trueknowledge.com"]) I know that:
16 US cups
is the parametered object corresponding to
volume and 16 and US cup
By calculation (generator: ["equivalent_to6@trueknowledge.com"]) I know that:
Fact 4:
16 US cups
is equivalent to
1 US gallon
Fact 4
is true at
April 25th 2014, 01:00:10
Fact 4:
US cup
is the unit used in
16 US cups
Therefore (generator: ["strictequal1@trueknowledge.com"]):
16 US cups
is not strictly equal to
1 US gallon