By calculation (generator: ["now@trueknowledge.com"]) I know that:
The current time is February 14th 2012, 21:30:15
I know from locally stored knowledge that:
John Coolidge
is a child of
Calvin Coolidge
([fact: ["376566011@trueknowledge.com"]])
male
applies to
John Coolidge
([fact: ["136301112@trueknowledge.com"]])
By calculation (generator: ["son1@trueknowledge.com"]) I know that:
Fact 1:
John Coolidge
is a son of
Calvin Coolidge
Fact 1
is true for
all time
By calculation (generator: ["timeperiodtopoint@trueknowledge.com"]) I know that:
Fact 1
is true at
February 14th 2012, 21:30:15
I know from locally stored knowledge that:
die
is the intransitive action relating to
dead
([fact: ["131036630@trueknowledge.com"]])
By calculation (generator: ["dead@trueknowledge.com"]) I know that:
Fact 2:
dead
applies to
John Coolidge
Fact 2
is true for
May 2000 onwards
Fact 2
is true for
May 31st 2000 onwards
I know from locally stored knowledge that:
May 31st 2000
is the date of death of
John Coolidge
([fact: ["136301109@trueknowledge.com"]])
alive
is a mutually exclusive attribute of
dead
([fact: ["1148729@trueknowledge.com"]])
September 7th 1906
is the birthdate of
John Coolidge
([fact: ["136301108@trueknowledge.com"]])
By calculation (generator: ["alive4@trueknowledge.com"]) I know that:
Fact 3:
alive
applies to
John Coolidge
Fact 3
is true at
September 7th 1906
By calculation (generator: ["alive@trueknowledge.com"]) I know that:
Fact 3
is true for
September 7th 1906 - May 31st 2000
Fact 3
is true for
September 7th 1906 - May 2000
Therefore (generator: ["not_applies_to@trueknowledge.com"]):
Fact 4:
dead
not applies to
John Coolidge
By calculation (generator: ["not_applies_to@trueknowledge.com"]) I know that:
Fact 4
is true for
September 7th 1906 - May 31st 2000
Fact 4
is true for
September 7th 1906 - May 2000
By calculation (generator: ["first_parameter@trueknowledge.com"]) I know that:
May 31st 2000
is the first parameter of
May 31st 2000 onwards
By calculation (generator: ["second_parameter@trueknowledge.com"]) I know that:
May 31st 2000
is the second parameter of
September 7th 1906 - May 31st 2000
By calculation (generator: ["strictequal1@trueknowledge.com"]) I know that:
May 31st 2000
is strictly equal to
May 31st 2000
By calculation (generator: ["did_intrans_from_complete_att@trueknowledge.com"]) I know that:
John Coolidge
is something which did the intransitive action
die
By calculation (generator: ["first_parameter@trueknowledge.com"]) I know that:
May 2000
is the first parameter of
May 2000 onwards
By calculation (generator: ["second_parameter@trueknowledge.com"]) I know that:
May 2000
is the second parameter of
September 7th 1906 - May 2000
By calculation (generator: ["strictequal1@trueknowledge.com"]) I know that:
May 2000
is strictly equal to
May 2000
I know from locally stored knowledge that:
Calvin Coolidge, Jr.
is a child of
Calvin Coolidge
([fact: ["376566019@trueknowledge.com"]])
male
applies to
Calvin Coolidge, Jr.
([fact: ["126411088@trueknowledge.com"]])
By calculation (generator: ["son1@trueknowledge.com"]) I know that:
Fact 1:
Calvin Coolidge, Jr.
is a son of
Calvin Coolidge
Fact 1
is true for
all time
By calculation (generator: ["timeperiodtopoint@trueknowledge.com"]) I know that:
Fact 1
is true at
February 14th 2012, 21:30:15
By calculation (generator: ["dead@trueknowledge.com"]) I know that:
Fact 2:
dead
applies to
Calvin Coolidge, Jr.
Fact 2
is true for
July 1924 onwards
Fact 2
is true for
July 7th 1924 onwards
I know from locally stored knowledge that:
July 7th 1924
is the date of death of
Calvin Coolidge, Jr.
([fact: ["126411085@trueknowledge.com"]])
April 13th 1908
is the birthdate of
Calvin Coolidge, Jr.
([fact: ["126411084@trueknowledge.com"]])
By calculation (generator: ["alive4@trueknowledge.com"]) I know that:
Fact 3:
alive
applies to
Calvin Coolidge, Jr.
Fact 3
is true at
April 13th 1908
By calculation (generator: ["alive@trueknowledge.com"]) I know that:
Fact 3
is true for
April 13th 1908 - July 7th 1924
Fact 3
is true for
April 13th 1908 - July 1924
Therefore (generator: ["not_applies_to@trueknowledge.com"]):
Fact 4:
dead
not applies to
Calvin Coolidge, Jr.
By calculation (generator: ["not_applies_to@trueknowledge.com"]) I know that:
Fact 4
is true for
April 13th 1908 - July 7th 1924
Fact 4
is true for
April 13th 1908 - July 1924
By calculation (generator: ["first_parameter@trueknowledge.com"]) I know that:
July 7th 1924
is the first parameter of
July 7th 1924 onwards
By calculation (generator: ["second_parameter@trueknowledge.com"]) I know that:
July 7th 1924
is the second parameter of
April 13th 1908 - July 7th 1924
By calculation (generator: ["strictequal1@trueknowledge.com"]) I know that:
July 7th 1924
is strictly equal to
July 7th 1924
By calculation (generator: ["did_intrans_from_complete_att@trueknowledge.com"]) I know that:
Calvin Coolidge, Jr.
is something which did the intransitive action
die
By calculation (generator: ["first_parameter@trueknowledge.com"]) I know that:
July 1924
is the first parameter of
July 1924 onwards
By calculation (generator: ["second_parameter@trueknowledge.com"]) I know that:
July 1924
is the second parameter of
April 13th 1908 - July 1924
By calculation (generator: ["strictequal1@trueknowledge.com"]) I know that:
July 1924
is strictly equal to
July 1924
Adding…
