By calculation (generator: ["now@trueknowledge.com"]) I know that:
The current time is May 21st 2013, 13:01:37
By calculation (generator: ["second_parameter@trueknowledge.com"]) I know that:
kilogram
is the second parameter of
55 kilograms
I know from locally stored knowledge that:
kilogram
is a
metric unit of measurement
([fact: ["134510874@trueknowledge.com"]])
metric unit of measurement
is a subclass of
scalar unit
([fact: ["230143346@trueknowledge.com"]])
kilogram
is a
SI base unit
([fact: ["129904690@trueknowledge.com"]])
SI base unit
is a subclass of
scalar unit
([fact: ["230143338@trueknowledge.com"]])
kilogram
is a
unit of mass
([fact: ["121612566@trueknowledge.com"]])
unit of mass
is a subclass of
scalar unit
([fact: ["230143294@trueknowledge.com"]])
By calculation (generator: ["instance_scalar_unit@trueknowledge.com"]) I know that:
kilogram
is a
scalar unit
By calculation (generator: ["unit_used_in@trueknowledge.com"]) I know that:
kilogram
is the unit used in
55 kilograms
By calculation (generator: ["second_parameter@trueknowledge.com"]) I know that:
stone
is the second parameter of
7 stones
I know from locally stored knowledge that:
Fact 1:
6.35029318
is the multiplier that converts
stone and kilogram
([fact: ["127631254@trueknowledge.com"]])
Fact 1
is true for
all time
([fact: ["1050411142@trueknowledge.com"]])
By calculation (generator: ["timeperiodtopoint@trueknowledge.com"]) I know that:
Fact 1
is true at
May 21st 2013, 13:01:37
By calculation (generator: ["first_parameter@trueknowledge.com"]) I know that:
7
is the first parameter of
7 stones
By calculation (generator: ["product@trueknowledge.com"]) I know that:
44.45205226
is the product of
6.35029318 and 7
By calculation (generator: ["class_parametered_object@trueknowledge.com"]) I know that:
mass
is the class of the parametered object
7 stones
By calculation (generator: ["parametered_object_corresponding_to@trueknowledge.com"]) I know that:
44.45205226 kilograms
is the parametered object corresponding to
mass and 44.45205226 and kilogram
By calculation (generator: ["equivalent_to6@trueknowledge.com"]) I know that:
Fact 2:
44.45205226 kilograms
is equivalent to
7 stones
Fact 2
is true at
May 21st 2013, 13:01:37
Fact 2:
kilogram
is the unit used in
44.45205226 kilograms
By calculation (generator: ["first_parameter@trueknowledge.com"]) I know that:
55
is the first parameter of
55 kilograms
44.45205226
is the first parameter of
44.45205226 kilograms
Therefore (generator: ["equals1@trueknowledge.com"]):
55
is not the same as
44.45205226
Therefore (generator: ["scalars_not_equivalent_now@trueknowledge.com"]):
Fact 3:
55 kilograms
is not equivalent to
7 stones
By calculation (generator: ["scalars_not_equivalent_now@trueknowledge.com"]) I know that:
Fact 3
is true for all of timepoint
May 21st 2013, 13:01:37
Fact 3
is true at
May 21st 2013, 13:01:37
