I know from locally stored knowledge that:
January 29th 1915
is the birthdate of
Bill Peet
([fact: ["17703289@trueknowledge.com"]])
By calculation (generator: ["alive4@trueknowledge.com"]) I know that:
Fact 1:
alive
applies to
Bill Peet
Fact 1
is true at
January 29th 1915
By calculation (generator: ["alive@trueknowledge.com"]) I know that:
Fact 1
is true for
January 29th 1915 - May 2002
Fact 1
is true for
January 29th 1915 - May 11th 2002
Therefore (generator: ["alive2@trueknowledge.com"]):
Fact 2:
alive
not applies to
Bill Peet
By calculation (generator: ["alive2@trueknowledge.com"]) I know that:
Fact 2
is true for
the beginning of time - January 29th 1915
By calculation (generator: ["alive3@trueknowledge.com"]) I know that:
Fact 2
is true for
May 11th 2002 onwards
Fact 2
is true for
May 2002 onwards
I know from locally stored knowledge that:
May 11th 2002
is the date of death of
Bill Peet
([fact: ["17703290@trueknowledge.com"]])
By calculation (generator: ["dead@trueknowledge.com"]) I know that:
Fact 3:
dead
applies to
Bill Peet
Fact 3
is true for
May 11th 2002 onwards
Fact 3
is true for
May 2002 onwards
By calculation (generator: ["strictequal1@trueknowledge.com"]) I know that:
the fact inferred$alive$applies$to$bill$peet$false@trueknowledge.com
is strictly equal to
the fact inferred$alive$applies$to$bill$peet$false@trueknowledge.com
January 29th 1915
is strictly equal to
January 29th 1915
May 2002
is strictly equal to
May 2002
January 29th 1915 - May 2002
is strictly equal to
January 29th 1915 - May 2002
By calculation (generator: ["completetimperiod5@trueknowledge.com"]) I know that:
the fact inferred$alive$applies$to$bill$peet$@trueknowledge.com
is true for the complete timeperiod
January 29th 1915 - May 2002
By calculation (generator: ["strictequal1@trueknowledge.com"]) I know that:
May 11th 2002
is strictly equal to
May 11th 2002
January 29th 1915 - May 11th 2002
is strictly equal to
January 29th 1915 - May 11th 2002
By calculation (generator: ["completetimperiod5@trueknowledge.com"]) I know that:
the fact inferred$alive$applies$to$bill$peet$@trueknowledge.com
is true for the complete timeperiod
January 29th 1915 - May 11th 2002