I know from locally stored knowledge that:
Tony Blair
is a
person
([fact: ["1131609@trueknowledge.com"]])
May 6th 1953
is the birthdate of
Tony Blair
([fact: ["1143001@trueknowledge.com"]])
By calculation (generator: ["timepoint_sum@trueknowledge.com"]) I know that:
May 6th 1966
is the timepoint sum of
May 6th 1953 and 13 years
May 6th 1973
is the timepoint sum of
May 6th 1953 and 20 years
By calculation (generator: ["teenager@trueknowledge.com"]) I know that:
Fact 1:
Tony Blair
is a
teenager
Fact 1
is true for
May 6th 1966 - May 6th 1973
I know from locally stored knowledge that:
Fact 2:
Harold Wilson
is the prime minister of
the United Kingdom
([fact: ["123940312@trueknowledge.com"]])
Fact 2
is true for
October 16th 1964 - June 19th 1970
([fact: ["123940313@trueknowledge.com"]])
By calculation (generator: ["overlap1@trueknowledge.com"]) I know that:
October 16th 1964 - June 19th 1970
is overlapping with
May 6th 1966 - May 6th 1973
I know from locally stored knowledge that:
Fact 3:
Harold Wilson
is a
person
([fact: ["18444677@trueknowledge.com"]])
By calculation (generator: ["permanent@trueknowledge.com"]) I know that:
Fact 3
is true for
all time
I know from locally stored knowledge that:
person
is a subclass of
entity that is capable of deliberate action
([fact: ["129969855@trueknowledge.com"]])
permanent
applies to
person
([fact: ["1131338@trueknowledge.com"]])
By calculation (generator: ["iaif1@trueknowledge.com"]) I know that:
Fact 4:
Harold Wilson
is a
entity that is capable of deliberate action
Fact 4
is true for
all time
I know from locally stored knowledge that:
Fact 5:
Edward Heath
is the prime minister of
the United Kingdom
([fact: ["123940325@trueknowledge.com"]])
Fact 5
is true for
June 19th 1970 - March 4th 1974
([fact: ["123940326@trueknowledge.com"]])
Fact 5
is true for
1970 - 1974
([fact: ["373747659@trueknowledge.com"]])
By calculation (generator: ["overlap1@trueknowledge.com"]) I know that:
June 19th 1970 - March 4th 1974
is overlapping with
May 6th 1966 - May 6th 1973
I know from locally stored knowledge that:
Fact 6:
Edward Heath
is a
person
([fact: ["19255748@trueknowledge.com"]])
By calculation (generator: ["permanent@trueknowledge.com"]) I know that:
Fact 6
is true for
all time
By calculation (generator: ["iaif1@trueknowledge.com"]) I know that:
Fact 4:
Edward Heath
is a
entity that is capable of deliberate action
Fact 4
is true for
all time
By calculation (generator: ["overlap1@trueknowledge.com"]) I know that:
1970 - 1974
is overlapping with
May 6th 1966 - May 6th 1973