I know from locally stored knowledge that:
Timmy Dooley
is a
person
([fact: ["18846183@trueknowledge.com"]])
February 13th 1969
is the birthdate of
Timmy Dooley
([fact: ["144738245@trueknowledge.com"]])
By calculation (generator: ["timepoint_sum@trueknowledge.com"]) I know that:
February 13th 1982
is the timepoint sum of
February 13th 1969 and 13 years
February 13th 1989
is the timepoint sum of
February 13th 1969 and 20 years
By calculation (generator: ["teenager@trueknowledge.com"]) I know that:
Fact 1:
Timmy Dooley
is a
teenager
Fact 1
is true for
February 13th 1982 - February 13th 1989
I know from locally stored knowledge that:
Fact 2:
Ronald Reagan
is a
US president
([fact: ["123991962@trueknowledge.com"]])
Fact 2
is true for
January 20th 1981 - January 20th 1989
([fact: ["130969271@trueknowledge.com"]])
Therefore (generator: ["distinct_interleave@trueknowledge.com"]):
US president
is not a distinct class from
entity that is capable of deliberate action
By calculation (generator: ["overlap1@trueknowledge.com"]) I know that:
January 20th 1981 - January 20th 1989
is overlapping with
February 13th 1982 - February 13th 1989
I know from locally stored knowledge that:
Fact 3:
George H. W. Bush
is a
US president
([fact: ["123991972@trueknowledge.com"]])
Fact 3
is true for
January 20th 1989 - January 20th 1993
([fact: ["130969956@trueknowledge.com"]])
By calculation (generator: ["overlap1@trueknowledge.com"]) I know that:
January 20th 1989 - January 20th 1993
is overlapping with
February 13th 1982 - February 13th 1989
