By calculation (generator: ["now@trueknowledge.com"]) I know that:
The current time is February 13th 2012, 15:40:59
I know from locally stored knowledge that:
Robert F. Kennedy
is a sibling of
John F. Kennedy
([fact: ["425242972@trueknowledge.com"]])
male
applies to
Robert F. Kennedy
([fact: ["19840966@trueknowledge.com"]])
By calculation (generator: ["brother1@trueknowledge.com"]) I know that:
Fact 1:
Robert F. Kennedy
is a brother of
John F. Kennedy
Fact 1
is true for
all time
By calculation (generator: ["timeperiodtopoint@trueknowledge.com"]) I know that:
Fact 1
is true at
February 13th 2012, 15:40:59
I know from locally stored knowledge that:
Robert F. Kennedy
is a
person
([fact: ["18386010@trueknowledge.com"]])
person
is a subclass of
human being, organisation or other legal person
([fact: ["1131949@trueknowledge.com"]])
Robert F. Kennedy
is a
activist
([fact: ["677043900@trueknowledge.com"]])
activist
is a subclass of
human being, organisation or other legal person
([fact: ["647905252@trueknowledge.com"]])
By calculation (generator: ["instance_agreement_making_entity@trueknowledge.com"]) I know that:
Robert F. Kennedy
is a
human being, organisation or other legal person
I know from locally stored knowledge that:
Ted Kennedy
is a sibling of
John F. Kennedy
([fact: ["425304332@trueknowledge.com"]])
male
applies to
Ted Kennedy
([fact: ["19844804@trueknowledge.com"]])
By calculation (generator: ["brother1@trueknowledge.com"]) I know that:
Fact 1:
Ted Kennedy
is a brother of
John F. Kennedy
Fact 1
is true for
all time
By calculation (generator: ["timeperiodtopoint@trueknowledge.com"]) I know that:
Fact 1
is true at
February 13th 2012, 15:40:59
I know from locally stored knowledge that:
Ted Kennedy
is a
person
([fact: ["18249724@trueknowledge.com"]])
Ted Kennedy
is a
author
([fact: ["425304384@trueknowledge.com"]])
Ted Kennedy
is a
soldier
([fact: ["372839787@trueknowledge.com"]])
soldier
is a subclass of
human being, organisation or other legal person
([fact: ["647905740@trueknowledge.com"]])
By calculation (generator: ["instance_agreement_making_entity@trueknowledge.com"]) I know that:
Ted Kennedy
is a
human being, organisation or other legal person
I know from locally stored knowledge that:
Joseph P. Kennedy
is a sibling of
John F. Kennedy
([fact: ["647624692@trueknowledge.com"]])
male
applies to
Joseph P. Kennedy
([fact: ["19620555@trueknowledge.com"]])
By calculation (generator: ["brother1@trueknowledge.com"]) I know that:
Fact 1:
Joseph P. Kennedy
is a brother of
John F. Kennedy
Fact 1
is true for
all time
By calculation (generator: ["timeperiodtopoint@trueknowledge.com"]) I know that:
Fact 1
is true at
February 13th 2012, 15:40:59
I know from locally stored knowledge that:
Joseph P. Kennedy
is a
person
([fact: ["17999314@trueknowledge.com"]])
By calculation (generator: ["instance_agreement_making_entity@trueknowledge.com"]) I know that:
Joseph P. Kennedy
is a
human being, organisation or other legal person
I know from locally stored knowledge that:
Joseph P. Kennedy
is a parent of
John F. Kennedy
([fact: ["147770777@trueknowledge.com"]])
Joseph P. Kennedy
is a parent of
Joseph P. Kennedy, Jr.
([fact: ["2346167606@trueknowledge.com"]])
Therefore (generator: ["strictequal1@trueknowledge.com"]):
John F. Kennedy
is not strictly equal to
Joseph P. Kennedy, Jr.
By calculation (generator: ["sibling1@trueknowledge.com"]) I know that:
John F. Kennedy
is a sibling of
Joseph P. Kennedy, Jr.
By calculation (generator: ["sibling4@trueknowledge.com"]) I know that:
Joseph P. Kennedy, Jr.
is a sibling of
John F. Kennedy
I know from locally stored knowledge that:
male
applies to
Joseph P. Kennedy, Jr.
([fact: ["2346167658@trueknowledge.com"]])
By calculation (generator: ["brother1@trueknowledge.com"]) I know that:
Fact 1:
Joseph P. Kennedy, Jr.
is a brother of
John F. Kennedy
Fact 1
is true for
all time
By calculation (generator: ["timeperiodtopoint@trueknowledge.com"]) I know that:
Fact 1
is true at
February 13th 2012, 15:40:59
I know from locally stored knowledge that:
Joseph P. Kennedy, Jr.
is a
person
([fact: ["2346167474@trueknowledge.com"]])
By calculation (generator: ["instance_agreement_making_entity@trueknowledge.com"]) I know that:
Joseph P. Kennedy, Jr.
is a
human being, organisation or other legal person