By calculation (generator: ["now@trueknowledge.com"]) I know that:
The current time is May 24th 2013, 10:54:12
By calculation (generator: ["second_parameter@trueknowledge.com"]) I know that:
millilitre
is the second parameter of
250 millilitres
I know from locally stored knowledge that:
millilitre
is a
metric unit of measurement
([fact: ["134510893@trueknowledge.com"]])
metric unit of measurement
is a subclass of
scalar unit
([fact: ["230143346@trueknowledge.com"]])
millilitre
is a
unit of capacity
([fact: ["123911904@trueknowledge.com"]])
unit of capacity
is a subclass of
scalar unit
([fact: ["230143310@trueknowledge.com"]])
By calculation (generator: ["instance_scalar_unit@trueknowledge.com"]) I know that:
millilitre
is a
scalar unit
By calculation (generator: ["unit_used_in@trueknowledge.com"]) I know that:
millilitre
is the unit used in
250 millilitres
By calculation (generator: ["second_parameter@trueknowledge.com"]) I know that:
litre
is the second parameter of
2.5 litres
I know from locally stored knowledge that:
Fact 1:
1,000
is the multiplier that converts
litre and millilitre
([fact: ["127571766@trueknowledge.com"]])
Fact 1
is true for
all time
([fact: ["1050410858@trueknowledge.com"]])
By calculation (generator: ["timeperiodtopoint@trueknowledge.com"]) I know that:
Fact 1
is true at
May 24th 2013, 10:54:12
By calculation (generator: ["first_parameter@trueknowledge.com"]) I know that:
2.5
is the first parameter of
2.5 litres
By calculation (generator: ["product@trueknowledge.com"]) I know that:
2,500.0
is the product of
1,000 and 2.5
By calculation (generator: ["class_parametered_object@trueknowledge.com"]) I know that:
volume
is the class of the parametered object
2.5 litres
By calculation (generator: ["parametered_object_corresponding_to@trueknowledge.com"]) I know that:
2,500.0 millilitres
is the parametered object corresponding to
volume and 2,500.0 and millilitre
By calculation (generator: ["equivalent_to6@trueknowledge.com"]) I know that:
Fact 2:
2,500.0 millilitres
is equivalent to
2.5 litres
Fact 2
is true at
May 24th 2013, 10:54:12
Fact 2:
millilitre
is the unit used in
2,500.0 millilitres
By calculation (generator: ["first_parameter@trueknowledge.com"]) I know that:
250
is the first parameter of
250 millilitres
2,500.0
is the first parameter of
2,500.0 millilitres
Therefore (generator: ["equals1@trueknowledge.com"]):
250
is not the same as
2,500.0
Therefore (generator: ["scalars_not_equivalent_now@trueknowledge.com"]):
Fact 3:
250 millilitres
is not equivalent to
2.5 litres
By calculation (generator: ["scalars_not_equivalent_now@trueknowledge.com"]) I know that:
Fact 3
is true for all of timepoint
May 24th 2013, 10:54:12
Fact 3
is true at
May 24th 2013, 10:54:12