By calculation (generator: ["now@trueknowledge.com"]) I know that:
The current time is June 19th 2013, 11:00:30
I know from locally stored knowledge that:
Fact 1:
Vernon Presley
is the father of
Elvis Presley
([fact: ["975443946@trueknowledge.com"]])
By calculation (generator: ["perm5@trueknowledge.com"]) I know that:
Fact 1
is true for
all time
By calculation (generator: ["timeperiodtopoint@trueknowledge.com"]) I know that:
Fact 1
is true at
June 19th 2013, 11:00:30
I know from locally stored knowledge that:
permanent
applies to
is the father of
([fact: ["1152920@trueknowledge.com"]])
die
is the intransitive action relating to
dead
([fact: ["131036630@trueknowledge.com"]])
June 26th 1979
is the date of death of
Vernon Presley
([fact: ["975443526@trueknowledge.com"]])
By calculation (generator: ["dead@trueknowledge.com"]) I know that:
Fact 2:
dead
applies to
Vernon Presley
Fact 2
is true for
June 26th 1979 onwards
By calculation (generator: ["did_intrans_from_incomplete_att@trueknowledge.com"]) I know that:
Fact 3:
Vernon Presley
is something which did the intransitive action
die
By calculation (generator: ["did_intrans_from_complete_att@trueknowledge.com"]) I know that:
Fact 3
is an action which happened on
June 26th 1979
I know from locally stored knowledge that:
alive
is a mutually exclusive attribute of
dead
([fact: ["1148729@trueknowledge.com"]])
April 10th 1916
is the birthdate of
Vernon Presley
([fact: ["975443422@trueknowledge.com"]])
By calculation (generator: ["alive4@trueknowledge.com"]) I know that:
Fact 4:
alive
applies to
Vernon Presley
Fact 4
is true at
April 10th 1916
By calculation (generator: ["alive@trueknowledge.com"]) I know that:
Fact 4
is true for
April 10th 1916 - June 26th 1979
Therefore (generator: ["not_applies_to@trueknowledge.com"]):
Fact 5:
dead
not applies to
Vernon Presley
By calculation (generator: ["not_applies_to@trueknowledge.com"]) I know that:
Fact 5
is true for
April 10th 1916 - June 26th 1979
By calculation (generator: ["first_parameter@trueknowledge.com"]) I know that:
June 26th 1979
is the first parameter of
June 26th 1979 onwards
By calculation (generator: ["second_parameter@trueknowledge.com"]) I know that:
June 26th 1979
is the second parameter of
April 10th 1916 - June 26th 1979
By calculation (generator: ["strictequal1@trueknowledge.com"]) I know that:
June 26th 1979
is strictly equal to
June 26th 1979
Facts
Show facts
