By calculation (generator: ["now@trueknowledge.com"]) I know that:
The current time is February 14th 2012, 11:04:48
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:
Fact 1:
Bill Gates
is richer than
Donald Trump
([fact: ["234463670@trueknowledge.com"]])
Fact 1
is true for
March 9th 2009, 00:00:00 onwards
([fact: ["234463674@trueknowledge.com"]])
Therefore (generator: ["antisymmetric1@trueknowledge.com"]):
Fact 2:
Donald Trump
is not richer than
Bill Gates
By calculation (generator: ["antisymmetric1@trueknowledge.com"]) I know that:
Fact 2
is true for
March 9th 2009, 00:00:00 onwards
By calculation (generator: ["timeperiodtotimepoint2@trueknowledge.com"]) I know that:
Fact 2
is true for all of timepoint
February 14th 2012, 11:04:48
Adding…
