By calculation (generator: ["now@trueknowledge.com"]) I know that:
The current time is February 14th 2012, 09:42:48
I know from locally stored knowledge that:
treat as antisymmetric
applies to
is heavier than
([fact: ["232414462@trueknowledge.com"]])
physical object
is the left class of
is heavier than
([fact: ["127632801@trueknowledge.com"]])
physical object
is the right class of
is heavier than
([fact: ["127632802@trueknowledge.com"]])
By calculation (generator: ["strictequal1@trueknowledge.com"]) I know that:
physical object
is strictly equal to
physical object
I know from locally stored knowledge that:
Fact 1:
a giraffe
is heavier than
a lemur
([fact: ["127632842@trueknowledge.com"]])
By calculation (generator: ["scalar_comparison3@trueknowledge.com"]) I know that:
Fact 1
is true for
the beginning of time onwards
I know from locally stored knowledge that:
is heavier than
is a left comparison of
is the mass of
([fact: ["643572572@trueknowledge.com"]])
Fact 2:
900 kilograms
is the average weight of a member of the class
giraffe
([fact: ["127722169@trueknowledge.com"]])
Fact 2
is true for
the earliest time when the fact can make sense onwards
([fact: ["127722170@trueknowledge.com"]])
By calculation (generator: ["mass@trueknowledge.com"]) I know that:
Fact 3:
900 kilograms
is the mass of
a giraffe
Fact 3
is true for
the earliest time when the fact can make sense onwards
I know from locally stored knowledge that:
Fact 4:
5 pounds
is the average weight of a member of the class
lemur
([fact: ["148048562@trueknowledge.com"]])
Fact 4
is true for
the earliest time when the fact can make sense onwards
([fact: ["148048566@trueknowledge.com"]])
By calculation (generator: ["mass@trueknowledge.com"]) I know that:
Fact 3:
5 pounds
is the mass of
a lemur
Fact 3
is true for
the earliest time when the fact can make sense onwards
By calculation (generator: ["first_parameter@trueknowledge.com"]) I know that:
5
is the first parameter of
5 pounds
By calculation (generator: ["instance_number@trueknowledge.com"]) I know that:
5
is a
number
By calculation (generator: ["strictequal1@trueknowledge.com"]) I know that:
5 pounds
is strictly equal to
5 pounds
By calculation (generator: ["base_unit_equivalent5@trueknowledge.com"]) I know that:
5 pounds
is the base unit equivalent of
5 pounds
By calculation (generator: ["second_parameter@trueknowledge.com"]) I know that:
pound
is the second parameter of
5 pounds
I know from locally stored knowledge that:
pound
is a
unit of measurement
([fact: ["995427222@trueknowledge.com"]])
pound
is a
unit of mass
([fact: ["115441391@trueknowledge.com"]])
kilogram
is a
unit of mass
([fact: ["121612566@trueknowledge.com"]])
pound
is a
imperial unit of measurement
([fact: ["134510899@trueknowledge.com"]])
pound
is a
US customary unit
([fact: ["134510926@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
5 pounds
By calculation (generator: ["second_parameter@trueknowledge.com"]) I know that:
kilogram
is the second parameter of
900 kilograms
By calculation (generator: ["first_parameter@trueknowledge.com"]) I know that:
900
is the first parameter of
900 kilograms
By calculation (generator: ["product@trueknowledge.com"]) I know that:
1,984.1603596639
is the product of
2.20462262184878 and 900
By calculation (generator: ["class_parametered_object@trueknowledge.com"]) I know that:
mass
is the class of the parametered object
900 kilograms
By calculation (generator: ["parametered_object_corresponding_to@trueknowledge.com"]) I know that:
1,984.1603596639 pounds
is the parametered object corresponding to
mass and 1,984.1603596639 and pound
By calculation (generator: ["equivalent_to6@trueknowledge.com"]) I know that:
Fact 6:
1,984.1603596639 pounds
is equivalent to
900 kilograms
Fact 6
is true at
February 14th 2012, 09:42:48
Fact 6:
pound
is the unit used in
1,984.1603596639 pounds
By calculation (generator: ["first_parameter@trueknowledge.com"]) I know that:
1,984.1603596639
is the first parameter of
1,984.1603596639 pounds
By calculation (generator: ["numeric_greater_than@trueknowledge.com"]) I know that:
1,984.1603596639
is greater than
5
Therefore (generator: ["numeric_greater_than@trueknowledge.com"]):
1,984.1603596639
is not less than
5
1,984.1603596639
is not the same as
5
By calculation (generator: ["scalar_greater@trueknowledge.com"]) I know that:
900 kilograms
is greater than
5 pounds
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
Therefore (generator: ["antisymmetric1@trueknowledge.com"]):
Fact 7:
a lemur
is not heavier than
a giraffe
By calculation (generator: ["antisymmetric1@trueknowledge.com"]) I know that:
Fact 7
is true for
the beginning of time onwards
By calculation (generator: ["timeperiodtotimepoint2@trueknowledge.com"]) I know that:
Fact 7
is true for all of timepoint
February 14th 2012, 09:42:48
Adding…
