By calculation (generator: ["now@trueknowledge.com"]) I know that:
The current time is May 24th 2013, 01:10:49
I know from locally stored knowledge that:
male person
is a subclass of
person
([fact: ["1154079@trueknowledge.com"]])
Fact 1:
Carlos Slim Helú
is the result of the position class and ordering
first, person and [reverse ordering by left relation: [is the net worth of]]
([fact: ["698871436@trueknowledge.com"]])
Fact 1
is true for
March 13th 2010, 00:00:00 onwards
([fact: ["698871440@trueknowledge.com"]])
Fact 2:
Carlos Slim Helú
is a
male person
([fact: ["368040795@trueknowledge.com"]])
By calculation (generator: ["permanent@trueknowledge.com"]) I know that:
Fact 2
is true for
all time
I know from locally stored knowledge that:
permanent
applies to
male person
([fact: ["1154093@trueknowledge.com"]])
By calculation (generator: ["tpintersect@trueknowledge.com"]) I know that:
March 13th 2010, 00:00:00 onwards
is the timeperiod intersection of
March 13th 2010, 00:00:00 onwards and all time
By calculation (generator: ["result_position_class_and_ordering@trueknowledge.com"]) I know that:
Fact 3:
Carlos Slim Helú
is the result of the position class and ordering
first, male person and [reverse ordering by left relation: [is the net worth of]]
Fact 3
is true for
March 13th 2010, 00:00:00 onwards
By calculation (generator: ["timeperiodtopoint@trueknowledge.com"]) I know that:
Fact 3
is true at
May 24th 2013, 01:10:49
I know from locally stored knowledge that:
Fact 4:
$60,000,000,000
is the net worth of
Carlos Slim Helú
([fact: ["162590430@trueknowledge.com"]])
Fact 4
is true for
February 11th 2008 onwards
([fact: ["162590434@trueknowledge.com"]])
By calculation (generator: ["timeperiodtopoint@trueknowledge.com"]) I know that:
Fact 4
is true at
May 24th 2013, 01:10:49
Facts
Show facts
