By calculation (generator: ["now@trueknowledge.com"]) I know that:
The current time is February 14th 2012, 00:44:51
I know from locally stored knowledge that:
is heavier than
is a left comparison of
is the mass of
([fact: ["643572572@trueknowledge.com"]])
Fact 1:
800 kilograms
is the average weight of a member of the class
cattle
([fact: ["127722155@trueknowledge.com"]])
Fact 1
is true for
the earliest time when the fact can make sense onwards
([fact: ["127722156@trueknowledge.com"]])
By calculation (generator: ["mass@trueknowledge.com"]) I know that:
Fact 2:
800 kilograms
is the mass of
a cattle
Fact 2
is true for
the earliest time when the fact can make sense onwards
I know from locally stored knowledge that:
Fact 3:
2 kilograms
is the average weight of a member of the class
duck
([fact: ["127722163@trueknowledge.com"]])
Fact 3
is true for
the earliest time when the fact can make sense onwards
([fact: ["127722164@trueknowledge.com"]])
By calculation (generator: ["mass@trueknowledge.com"]) I know that:
Fact 2:
2 kilograms
is the mass of
a duck
Fact 2
is true for
the earliest time when the fact can make sense onwards
By calculation (generator: ["first_parameter@trueknowledge.com"]) I know that:
2
is the first parameter of
2 kilograms
By calculation (generator: ["instance_number@trueknowledge.com"]) I know that:
2
is a
number
By calculation (generator: ["strictequal1@trueknowledge.com"]) I know that:
2 kilograms
is strictly equal to
2 kilograms
By calculation (generator: ["base_unit_equivalent5@trueknowledge.com"]) I know that:
2 kilograms
is the base unit equivalent of
2 kilograms
By calculation (generator: ["second_parameter@trueknowledge.com"]) I know that:
kilogram
is the second parameter of
2 kilograms
I know from locally stored knowledge that:
kilogram
is a
unit of mass
([fact: ["121612566@trueknowledge.com"]])
kilogram
is a
SI base unit
([fact: ["129904690@trueknowledge.com"]])
kilogram
is a
metric unit of measurement
([fact: ["134510874@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
2 kilograms
By calculation (generator: ["second_parameter@trueknowledge.com"]) I know that:
kilogram
is the second parameter of
800 kilograms
I know from locally stored knowledge that:
Fact 5:
1
is the multiplier that converts
kilogram and kilogram
([fact: ["641974384@trueknowledge.com"]])
Fact 5
is true for
October 5th 2009, 11:29:28 onwards
([fact: ["641974404@trueknowledge.com"]])
By calculation (generator: ["timeperiodtopoint@trueknowledge.com"]) I know that:
Fact 5
is true at
February 14th 2012, 00:44:51
By calculation (generator: ["first_parameter@trueknowledge.com"]) I know that:
800
is the first parameter of
800 kilograms
By calculation (generator: ["product@trueknowledge.com"]) I know that:
800
is the product of
1 and 800
By calculation (generator: ["class_parametered_object@trueknowledge.com"]) I know that:
mass
is the class of the parametered object
800 kilograms
By calculation (generator: ["parametered_object_corresponding_to@trueknowledge.com"]) I know that:
800 kilograms
is the parametered object corresponding to
mass and 800 and kilogram
By calculation (generator: ["equivalent_to6@trueknowledge.com"]) I know that:
Fact 6:
800 kilograms
is equivalent to
800 kilograms
Fact 6
is true at
February 14th 2012, 00:44:51
Fact 6:
kilogram
is the unit used in
800 kilograms
By calculation (generator: ["numeric_greater_than@trueknowledge.com"]) I know that:
800
is greater than
2
Therefore (generator: ["numeric_greater_than@trueknowledge.com"]):
800
is not less than
2
800
is not the same as
2
By calculation (generator: ["scalar_greater@trueknowledge.com"]) I know that:
800 kilograms
is greater than
2 kilograms
By calculation (generator: ["tpintersect@trueknowledge.com"]) I know that:
the beginning of time onwards
is the timeperiod intersection of
the earliest time when the fact can make sense onwards and the earliest time when the fact can make sense onwards
By calculation (generator: ["scalar_comparison3@trueknowledge.com"]) I know that:
Fact 7:
a cattle
is heavier than
a duck
Fact 7
is true for
the beginning of time onwards
By calculation (generator: ["timeperiodtopoint@trueknowledge.com"]) I know that:
Fact 7
is true at
February 14th 2012, 00:44:51