By calculation (generator: ["now@trueknowledge.com"]) I know that:
The current time is May 20th 2013, 22:39:56
I know from locally stored knowledge that:
transitive
applies to
orbits
([fact: ["123935642@trueknowledge.com"]])
Fact 1:
the moon
orbits
Earth
([fact: ["130679101@trueknowledge.com"]])
Fact 1
is true for
January 22nd 2011, 00:00:00 onwards
([fact: ["1102457862@trueknowledge.com"]])
Fact 1
is true for
the earliest time when the fact can make sense onwards
([fact: ["130679102@trueknowledge.com"]])
Therefore (generator: ["strictequal1@trueknowledge.com"]):
the moon
is not strictly equal to
Earth
I know from locally stored knowledge that:
Fact 2:
Earth
orbits
the Sun
([fact: ["123935657@trueknowledge.com"]])
Fact 2
is true for
the earliest time when the fact can make sense onwards
([fact: ["123935658@trueknowledge.com"]])
Therefore (generator: ["strictequal1@trueknowledge.com"]):
the moon
is not strictly equal to
the Sun
By calculation (generator: ["tpintersect@trueknowledge.com"]) I know that:
January 22nd 2011, 00:00:00 onwards
is the timeperiod intersection of
January 22nd 2011, 00:00:00 onwards and the earliest time when the fact can make sense onwards
By calculation (generator: ["transitive1@trueknowledge.com"]) I know that:
Fact 3:
the moon
orbits
the Sun
Fact 3
is true for
January 22nd 2011, 00:00:00 onwards
By calculation (generator: ["timeperiodtopoint@trueknowledge.com"]) I know that:
Fact 3
is true at
May 20th 2013, 22:39:56
By calculation (generator: ["transitive1@trueknowledge.com"]) I know that:
Fact 3
is true for
the beginning of time onwards
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
