By calculation (generator: ["now@trueknowledge.com"]) I know that:
The current time is May 23rd 2013, 04:55:51
I know from locally stored knowledge that:
Fact 1:
roman catholic
applies to
pope
([fact: ["136135883@trueknowledge.com"]])
Fact 1
is true for
the earliest time when the fact can make sense onwards
([fact: ["373716255@trueknowledge.com"]])
Therefore (generator: ["not_applies_to@trueknowledge.com"]):
Fact 2:
Muslim
not applies to
pope
By calculation (generator: ["not_applies_to@trueknowledge.com"]) I know that:
Fact 2
is true for
the earliest time when the fact can make sense onwards
By calculation (generator: ["timeperiodtotimepoint2@trueknowledge.com"]) I know that:
Fact 2
is true for all of timepoint
May 23rd 2013, 04:55:51
