By calculation (generator: ["now@trueknowledge.com"]) I know that:
The current time is June 20th 2013, 04:12:28
I know from locally stored knowledge that:
die
is the intransitive action relating to
dead
([fact: ["131036630@trueknowledge.com"]])
Fact 1:
dead
applies to
George Harrison
([fact: ["129899110@trueknowledge.com"]])
By calculation (generator: ["dead@trueknowledge.com"]) I know that:
Fact 1
is true for
November 29th 2001 onwards
By calculation (generator: ["did_intrans_from_incomplete_att@trueknowledge.com"]) I know that:
Fact 2:
George Harrison
is something which did the intransitive action
die
By calculation (generator: ["did_intrans_from_complete_att@trueknowledge.com"]) I know that:
Fact 2
is an action which happened on
November 29th 2001
I know from locally stored knowledge that:
November 29th 2001
is the date of death of
George Harrison
([fact: ["18350432@trueknowledge.com"]])
alive
is a mutually exclusive attribute of
dead
([fact: ["1148729@trueknowledge.com"]])
February 25th 1943
is the birthdate of
George Harrison
([fact: ["125895561@trueknowledge.com"]])
By calculation (generator: ["alive4@trueknowledge.com"]) I know that:
Fact 3:
alive
applies to
George Harrison
Fact 3
is true at
February 25th 1943
By calculation (generator: ["alive@trueknowledge.com"]) I know that:
Fact 3
is true for
February 25th 1943 - November 29th 2001
Therefore (generator: ["not_applies_to@trueknowledge.com"]):
Fact 4:
dead
not applies to
George Harrison
By calculation (generator: ["not_applies_to@trueknowledge.com"]) I know that:
Fact 4
is true for
February 25th 1943 - November 29th 2001
By calculation (generator: ["first_parameter@trueknowledge.com"]) I know that:
November 29th 2001
is the first parameter of
November 29th 2001 onwards
By calculation (generator: ["second_parameter@trueknowledge.com"]) I know that:
November 29th 2001
is the second parameter of
February 25th 1943 - November 29th 2001
By calculation (generator: ["strictequal1@trueknowledge.com"]) I know that:
November 29th 2001
is strictly equal to
November 29th 2001
By calculation (generator: ["pinstance@trueknowledge.com"]) I know that:
Fact 5:
November 29th 2001
is a
point in time
Fact 5
is true for
all time
Fact 5:
the beginning of time - June 20th 2013, 04:12:28
is a
period of time
Fact 5
is true for
all time
By calculation (generator: ["timepointintimeperiod@trueknowledge.com"]) I know that:
November 29th 2001
is a timepoint within
the beginning of time - June 20th 2013, 04:12:28