By calculation (generator: ["now@trueknowledge.com"]) I know that:
The current time is June 20th 2013, 13:32:10
I know from locally stored knowledge that:
September 1st 1968
is the birthdate of
Mohamed Atta
([fact: ["18106374@trueknowledge.com"]])
By calculation (generator: ["alive4@trueknowledge.com"]) I know that:
Fact 1:
alive
applies to
Mohamed Atta
Fact 1
is true at
September 1st 1968
By calculation (generator: ["negativetime1@trueknowledge.com"]) I know that:
Fact 1
is not true at
June 20th 2013, 13:32:10
Therefore (generator: ["alive2@trueknowledge.com"]):
Fact 2:
alive
not applies to
Mohamed Atta
By calculation (generator: ["alive2@trueknowledge.com"]) I know that:
Fact 2
is true for
the beginning of time - September 1st 1968
By calculation (generator: ["alive3@trueknowledge.com"]) I know that:
Fact 2
is true for
September 11th 2001 onwards
By calculation (generator: ["timeperiodtotimepoint2@trueknowledge.com"]) I know that:
Fact 2
is true for all of timepoint
June 20th 2013, 13:32:10
By calculation (generator: ["alive3@trueknowledge.com"]) I know that:
Fact 2
is true for
September 2001 onwards
I know from locally stored knowledge that:
September 11th 2001
is the date of death of
Mohamed Atta
([fact: ["18106375@trueknowledge.com"]])
By calculation (generator: ["dead@trueknowledge.com"]) I know that:
Fact 3:
dead
applies to
Mohamed Atta
Fact 3
is true for
September 11th 2001 onwards
Fact 3
is true for
September 2001 onwards