By calculation (generator: ["now@trueknowledge.com"]) I know that:
The current time is May 26th 2013, 01:18:19
I know from locally stored knowledge that:
treat as antisymmetric
applies to
is richer than
([fact: ["232414442@trueknowledge.com"]])
human being, organisation or other legal person
is the left class of
is richer than
([fact: ["124047766@trueknowledge.com"]])
human being, organisation or other legal person
is the right class of
is richer than
([fact: ["124047767@trueknowledge.com"]])
By calculation (generator: ["strictequal1@trueknowledge.com"]) I know that:
human being, organisation or other legal person
is strictly equal to
human being, organisation or other legal person
I know from locally stored knowledge that:
is richer than
is a left comparison of
is the net worth of
([fact: ["124047802@trueknowledge.com"]])
Fact 1:
$19,200,000,000
is the net worth of
Christy Walton
([fact: ["162590646@trueknowledge.com"]])
Fact 1
is true for
February 11th 2008 onwards
([fact: ["162590650@trueknowledge.com"]])
Fact 2:
$19,000,000,000
is the net worth of
Alice Walton
([fact: ["162590678@trueknowledge.com"]])
Fact 2
is true for
February 11th 2008 onwards
([fact: ["162590682@trueknowledge.com"]])
By calculation (generator: ["first_parameter@trueknowledge.com"]) I know that:
19,000,000,000
is the first parameter of
$19,000,000,000
By calculation (generator: ["instance_number@trueknowledge.com"]) I know that:
19,000,000,000
is a
number
By calculation (generator: ["strictequal1@trueknowledge.com"]) I know that:
$19,000,000,000
is strictly equal to
$19,000,000,000
By calculation (generator: ["base_unit_equivalent5@trueknowledge.com"]) I know that:
$19,000,000,000
is the base unit equivalent of
$19,000,000,000
By calculation (generator: ["second_parameter@trueknowledge.com"]) I know that:
United States dollar
is the second parameter of
$19,000,000,000
I know from locally stored knowledge that:
United States dollar
is a
unit of currency
([fact: ["19566419@trueknowledge.com"]])
By calculation (generator: ["instance_scalar_unit@trueknowledge.com"]) I know that:
United States dollar
is a
scalar unit
By calculation (generator: ["unit_used_in@trueknowledge.com"]) I know that:
United States dollar
is the unit used in
$19,000,000,000
By calculation (generator: ["second_parameter@trueknowledge.com"]) I know that:
United States dollar
is the second parameter of
$19,200,000,000
By calculation (generator: ["strictequal1@trueknowledge.com"]) I know that:
United States dollar
is strictly equal to
United States dollar
By calculation (generator: ["multiplier_that_converts4@trueknowledge.com"]) I know that:
Fact 3:
1
is the multiplier that converts
United States dollar and United States dollar
Fact 3
is true for
all time
By calculation (generator: ["timeperiodtopoint@trueknowledge.com"]) I know that:
Fact 3
is true at
May 26th 2013, 01:18:19
By calculation (generator: ["first_parameter@trueknowledge.com"]) I know that:
19,200,000,000
is the first parameter of
$19,200,000,000
By calculation (generator: ["product@trueknowledge.com"]) I know that:
19,200,000,000
is the product of
1 and 19,200,000,000
By calculation (generator: ["class_parametered_object@trueknowledge.com"]) I know that:
amount of money
is the class of the parametered object
$19,200,000,000
By calculation (generator: ["parametered_object_corresponding_to@trueknowledge.com"]) I know that:
$19,200,000,000
is the parametered object corresponding to
amount of money and 19,200,000,000 and United States dollar
By calculation (generator: ["equivalent_to6@trueknowledge.com"]) I know that:
Fact 4:
$19,200,000,000
is equivalent to
$19,200,000,000
Fact 4
is true at
May 26th 2013, 01:18:19
Fact 4:
United States dollar
is the unit used in
$19,200,000,000
By calculation (generator: ["numeric_greater_than@trueknowledge.com"]) I know that:
19,200,000,000
is greater than
19,000,000,000
Therefore (generator: ["numeric_greater_than@trueknowledge.com"]):
19,200,000,000
is not less than
19,000,000,000
19,200,000,000
is not the same as
19,000,000,000
By calculation (generator: ["scalar_greater@trueknowledge.com"]) I know that:
$19,200,000,000
is greater than
$19,000,000,000
By calculation (generator: ["tpintersect@trueknowledge.com"]) I know that:
February 11th 2008 onwards
is the timeperiod intersection of
February 11th 2008 onwards and February 11th 2008 onwards
By calculation (generator: ["scalar_comparison3@trueknowledge.com"]) I know that:
Fact 5:
Christy Walton
is richer than
Alice Walton
Fact 5
is true for
February 11th 2008 onwards
Therefore (generator: ["antisymmetric1@trueknowledge.com"]):
Fact 6:
Alice Walton
is not richer than
Christy Walton
By calculation (generator: ["antisymmetric1@trueknowledge.com"]) I know that:
Fact 6
is true for
February 11th 2008 onwards
By calculation (generator: ["timeperiodtotimepoint2@trueknowledge.com"]) I know that:
Fact 6
is true for all of timepoint
May 26th 2013, 01:18:19
Facts
Show facts
