By calculation (generator: ["now@trueknowledge.com"]) I know that:

The current time is July 22nd 2014, 07:36:41

By calculation (generator: ["second_parameter@trueknowledge.com"]) I know that:

litre
is the second parameter of
4 litres

I know from locally stored knowledge that:

litre
is a
metric unit of measurement
([fact: ["134510892@trueknowledge.com"]])

metric unit of measurement
is a subclass of
scalar unit
([fact: ["230143346@trueknowledge.com"]])

litre
is a
unit of capacity
([fact: ["123911914@trueknowledge.com"]])

unit of capacity
is a subclass of
scalar unit
([fact: ["230143310@trueknowledge.com"]])

litre
is a
unit of measurement
([fact: ["155106625@trueknowledge.com"]])

unit of measurement
is a subclass of
scalar unit
([fact: ["123916715@trueknowledge.com"]])

By calculation (generator: ["instance_scalar_unit@trueknowledge.com"]) I know that:

litre
is a
scalar unit

By calculation (generator: ["unit_used_in@trueknowledge.com"]) I know that:

litre
is the unit used in
4 litres

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:

Fact 1:
3.785411784
is the multiplier that converts
US gallon and litre
([fact: ["127580113@trueknowledge.com"]])

Fact 1
is true for
the beginning of time onwards
([fact: ["127580114@trueknowledge.com"]])

By calculation (generator: ["timeperiodtopoint@trueknowledge.com"]) I know that:

Fact 1
is true at
July 22nd 2014, 07:36:41

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:

3.785411784
is the product of
3.785411784 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:

3.785411784 litres
is the parametered object corresponding to
volume and 3.785411784 and litre

By calculation (generator: ["equivalent_to6@trueknowledge.com"]) I know that:

Fact 2:
3.785411784 litres
is equivalent to
1 US gallon

Fact 2
is true at
July 22nd 2014, 07:36:41

Fact 2:
litre
is the unit used in
3.785411784 litres

By calculation (generator: ["first_parameter@trueknowledge.com"]) I know that:

4
is the first parameter of
4 litres

3.785411784
is the first parameter of
3.785411784 litres

Therefore (generator: ["equals1@trueknowledge.com"]):

4
is not the same as
3.785411784

Therefore (generator: ["scalars_not_equivalent_now@trueknowledge.com"]):

Fact 3:
4 litres
is not equivalent to
1 US gallon

By calculation (generator: ["scalars_not_equivalent_now@trueknowledge.com"]) I know that:

Fact 3
is true for all of timepoint
July 22nd 2014, 07:36:41

Fact 3
is true at
July 22nd 2014, 07:36:41