By calculation (generator: ["now@trueknowledge.com"]) I know that:
The current time is June 19th 2013, 09:57:09
By calculation (generator: ["second_parameter@trueknowledge.com"]) I know that:
litre
is the second parameter of
1/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
1/4 litres
By calculation (generator: ["second_parameter@trueknowledge.com"]) I know that:
US cup
is the second parameter of
1/4 US cups
By calculation (generator: ["first_parameter@trueknowledge.com"]) I know that:
1/4
is the first parameter of
1/4 US cups
By calculation (generator: ["product@trueknowledge.com"]) I know that:
0.059147059125425
is the product of
0.2365882365017 and 1/4
By calculation (generator: ["class_parametered_object@trueknowledge.com"]) I know that:
volume
is the class of the parametered object
1/4 US cups
By calculation (generator: ["parametered_object_corresponding_to@trueknowledge.com"]) I know that:
0.059147059125425 litres
is the parametered object corresponding to
volume and 0.059147059125425 and litre
By calculation (generator: ["equivalent_to6@trueknowledge.com"]) I know that:
Fact 1:
0.059147059125425 litres
is equivalent to
1/4 US cups
Fact 1
is true at
June 19th 2013, 09:57:09
Fact 1:
litre
is the unit used in
0.059147059125425 litres
By calculation (generator: ["first_parameter@trueknowledge.com"]) I know that:
1/4
is the first parameter of
1/4 litres
0.059147059125425
is the first parameter of
0.059147059125425 litres
Therefore (generator: ["equals1@trueknowledge.com"]):
1/4
is not the same as
0.059147059125425
Therefore (generator: ["scalars_not_equivalent_now@trueknowledge.com"]):
Fact 2:
1/4 litres
is not equivalent to
1/4 US cups
By calculation (generator: ["scalars_not_equivalent_now@trueknowledge.com"]) I know that:
Fact 2
is true for all of timepoint
June 19th 2013, 09:57:09
Fact 2
is true at
June 19th 2013, 09:57:09
