By calculation (generator: ["now@trueknowledge.com"]) I know that:
The current time is February 14th 2012, 02:03:35
By calculation (generator: ["second_parameter@trueknowledge.com"]) I know that:
metre
is the second parameter of
100 metres
I know from locally stored knowledge that:
metre
is a
metric unit of measurement
([fact: ["134510878@trueknowledge.com"]])
metric unit of measurement
is a subclass of
scalar unit
([fact: ["230143346@trueknowledge.com"]])
metre
is a
SI base unit
([fact: ["129904688@trueknowledge.com"]])
SI base unit
is a subclass of
scalar unit
([fact: ["230143338@trueknowledge.com"]])
metre
is a
unit of measurement
([fact: ["155570053@trueknowledge.com"]])
unit of measurement
is a subclass of
scalar unit
([fact: ["123916715@trueknowledge.com"]])
metre
is a
unit of length
([fact: ["1162015@trueknowledge.com"]])
unit of length
is a subclass of
scalar unit
([fact: ["230143002@trueknowledge.com"]])
By calculation (generator: ["instance_scalar_unit@trueknowledge.com"]) I know that:
metre
is a
scalar unit
By calculation (generator: ["unit_used_in@trueknowledge.com"]) I know that:
metre
is the unit used in
100 metres
By calculation (generator: ["second_parameter@trueknowledge.com"]) I know that:
mile
is the second parameter of
1 mile
I know from locally stored knowledge that:
Fact 1:
1,609.344
is the multiplier that converts
mile and metre
([fact: ["641960600@trueknowledge.com"]])
Fact 1
is true for
October 5th 2009, 09:51:01 onwards
([fact: ["641960612@trueknowledge.com"]])
By calculation (generator: ["timeperiodtopoint@trueknowledge.com"]) I know that:
Fact 1
is true at
February 14th 2012, 02:03:35
By calculation (generator: ["first_parameter@trueknowledge.com"]) I know that:
1
is the first parameter of
1 mile
By calculation (generator: ["product@trueknowledge.com"]) I know that:
1,609.344
is the product of
1,609.344 and 1
By calculation (generator: ["class_parametered_object@trueknowledge.com"]) I know that:
length
is the class of the parametered object
1 mile
By calculation (generator: ["parametered_object_corresponding_to@trueknowledge.com"]) I know that:
1,609.344 metres
is the parametered object corresponding to
length and 1,609.344 and metre
By calculation (generator: ["equivalent_to6@trueknowledge.com"]) I know that:
Fact 2:
1,609.344 metres
is equivalent to
1 mile
Fact 2
is true at
February 14th 2012, 02:03:35
Fact 2:
metre
is the unit used in
1,609.344 metres
By calculation (generator: ["first_parameter@trueknowledge.com"]) I know that:
100
is the first parameter of
100 metres
1,609.344
is the first parameter of
1,609.344 metres
Therefore (generator: ["equals1@trueknowledge.com"]):
100
is not the same as
1,609.344
Therefore (generator: ["scalars_not_equivalent_now@trueknowledge.com"]):
Fact 3:
100 metres
is not equivalent to
1 mile
By calculation (generator: ["scalars_not_equivalent_now@trueknowledge.com"]) I know that:
Fact 3
is true for all of timepoint
February 14th 2012, 02:03:35
Fact 3
is true at
February 14th 2012, 02:03:35
Adding…
