By calculation (generator: ["now@trueknowledge.com"]) I know that:
The current time is May 23rd 2013, 19:05:57
By calculation (generator: ["second_parameter@trueknowledge.com"]) I know that:
pound
is the second parameter of
0.375 pounds
I know from locally stored knowledge that:
pound
is a
US customary unit
([fact: ["134510926@trueknowledge.com"]])
US customary unit
is a subclass of
scalar unit
([fact: ["230143354@trueknowledge.com"]])
pound
is a
imperial unit of measurement
([fact: ["134510899@trueknowledge.com"]])
imperial unit of measurement
is a subclass of
scalar unit
([fact: ["230143350@trueknowledge.com"]])
pound
is a
unit of mass
([fact: ["115441391@trueknowledge.com"]])
unit of mass
is a subclass of
scalar unit
([fact: ["230143294@trueknowledge.com"]])
pound
is a
unit of measurement
([fact: ["995427222@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:
pound
is a
scalar unit
By calculation (generator: ["unit_used_in@trueknowledge.com"]) I know that:
pound
is the unit used in
0.375 pounds
By calculation (generator: ["second_parameter@trueknowledge.com"]) I know that:
gram
is the second parameter of
170 grams
I know from locally stored knowledge that:
kilogram
is the optimum conversion unit for
gram
([fact: ["643320940@trueknowledge.com"]])
Fact 1:
0.001
is the multiplier that converts
gram and kilogram
([fact: ["134511027@trueknowledge.com"]])
Fact 1
is true for
the beginning of time onwards
([fact: ["1074538770@trueknowledge.com"]])
Fact 1
is true for
December 6th 2010, 14:22:02 onwards
([fact: ["1050381950@trueknowledge.com"]])
By calculation (generator: ["tpintersect@trueknowledge.com"]) I know that:
the beginning of time onwards
is the timeperiod intersection of
the beginning of time onwards and all time
By calculation (generator: ["product@trueknowledge.com"]) I know that:
0.00220462262184878
is the product of
0.001 and 2.20462262184878
By calculation (generator: ["multiplier_that_converts2@trueknowledge.com"]) I know that:
Fact 2:
0.00220462262184878
is the multiplier that converts
gram and pound
Fact 2
is true for
the beginning of time onwards
By calculation (generator: ["timeperiodtopoint@trueknowledge.com"]) I know that:
Fact 2
is true at
May 23rd 2013, 19:05:57
By calculation (generator: ["multiplier_that_converts2@trueknowledge.com"]) I know that:
Fact 2
is true for
December 6th 2010, 14:22:02 onwards
By calculation (generator: ["tpintersect@trueknowledge.com"]) I know that:
December 6th 2010, 14:22:02 onwards
is the timeperiod intersection of
December 6th 2010, 14:22:02 onwards and all time
By calculation (generator: ["first_parameter@trueknowledge.com"]) I know that:
170
is the first parameter of
170 grams
By calculation (generator: ["product@trueknowledge.com"]) I know that:
0.374785845714293
is the product of
0.00220462262184878 and 170
By calculation (generator: ["class_parametered_object@trueknowledge.com"]) I know that:
mass
is the class of the parametered object
170 grams
By calculation (generator: ["parametered_object_corresponding_to@trueknowledge.com"]) I know that:
0.374785845714293 pounds
is the parametered object corresponding to
mass and 0.374785845714293 and pound
By calculation (generator: ["equivalent_to6@trueknowledge.com"]) I know that:
Fact 3:
0.374785845714293 pounds
is equivalent to
170 grams
Fact 3
is true at
May 23rd 2013, 19:05:57
Fact 3:
pound
is the unit used in
0.374785845714293 pounds
By calculation (generator: ["first_parameter@trueknowledge.com"]) I know that:
0.375
is the first parameter of
0.375 pounds
0.374785845714293
is the first parameter of
0.374785845714293 pounds
Therefore (generator: ["equals1@trueknowledge.com"]):
0.375
is not the same as
0.374785845714293
Therefore (generator: ["scalars_not_equivalent_now@trueknowledge.com"]):
Fact 4:
0.375 pounds
is not equivalent to
170 grams
By calculation (generator: ["scalars_not_equivalent_now@trueknowledge.com"]) I know that:
Fact 4
is true for all of timepoint
May 23rd 2013, 19:05:57
Fact 4
is true at
May 23rd 2013, 19:05:57
Facts
Show facts
