By calculation (generator: ["now@trueknowledge.com"]) I know that:
The current time is May 24th 2013, 13:02:04
I know from locally stored knowledge that:
Fact 1:
Earth
is a
astronomical object
([fact: ["685664548@trueknowledge.com"]])
By calculation (generator: ["permanent@trueknowledge.com"]) I know that:
Fact 1
is true for
all time
I know from locally stored knowledge that:
astronomical object
is a subclass of
object with a mass
([fact: ["129900685@trueknowledge.com"]])
astronomical object
is a subclass of
inanimate object
([fact: ["19605498@trueknowledge.com"]])
astronomical object
is a subclass of
physical object
([fact: ["19590452@trueknowledge.com"]])
solar eclipse
is a subclass of
eclipse
([fact: ["123918411@trueknowledge.com"]])
solar eclipse
is a subclass of
momentary event
([fact: ["128694596@trueknowledge.com"]])
solar eclipse
is a subclass of
event
([fact: ["148238322@trueknowledge.com"]])
By calculation (generator: ["distinct_interleave@trueknowledge.com"]) I know that:
astronomical object
is a distinct class from
solar eclipse
I know from locally stored knowledge that:
permanent
applies to
astronomical object
([fact: ["19590456@trueknowledge.com"]])
Therefore (generator: ["distinct1@trueknowledge.com"]):
Fact 2:
Earth
is not a
solar eclipse
By calculation (generator: ["distinct1@trueknowledge.com"]) I know that:
Fact 2
is true for
all time
By calculation (generator: ["timeperiodtotimepoint2@trueknowledge.com"]) I know that:
Fact 2
is true for all of timepoint
May 24th 2013, 13:02:04
