I know from locally stored knowledge that:
January 8th 1935
is the birthdate of
Elvis Presley
([fact: ["18344448@trueknowledge.com"]])
By calculation (generator: ["alive4@trueknowledge.com"]) I know that:
Fact 1:
alive
applies to
Elvis Presley
Fact 1
is true at
January 8th 1935
By calculation (generator: ["negativetime1@trueknowledge.com"]) I know that:
Fact 1
is not true at
1931
Therefore (generator: ["alive2@trueknowledge.com"]):
Fact 2:
alive
not applies to
Elvis Presley
By calculation (generator: ["alive2@trueknowledge.com"]) I know that:
Fact 2
is true for
the beginning of time - January 8th 1935
By calculation (generator: ["timeperiodtotimepoint2@trueknowledge.com"]) I know that:
Fact 2
is true for all of timepoint
1931
I know from locally stored knowledge that:
Fact 2
is true for
the earliest time when the fact can make sense onwards
([fact: ["1008033886@trueknowledge.com"]])
