I know from locally stored knowledge that:
Michelle Obama
is a
person
([fact: ["123889898@trueknowledge.com"]])
January 17th 1964
is the birthdate of
Michelle Obama
([fact: ["123889983@trueknowledge.com"]])
By calculation (generator: ["timepoint_sum@trueknowledge.com"]) I know that:
January 17th 1977
is the timepoint sum of
January 17th 1964 and 13 years
January 17th 1984
is the timepoint sum of
January 17th 1964 and 20 years
By calculation (generator: ["teenager@trueknowledge.com"]) I know that:
Fact 1:
Michelle Obama
is a
teenager
Fact 1
is true for
January 17th 1977 - January 17th 1984
I know from locally stored knowledge that:
Fact 2:
Gerald Ford
is a
US president
([fact: ["123991960@trueknowledge.com"]])
Fact 2
is true for
August 9th 1974 - January 20th 1977
([fact: ["130968128@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:
August 9th 1974 - January 20th 1977
is overlapping with
January 17th 1977 - January 17th 1984
I know from locally stored knowledge that:
Fact 3:
Jimmy Carter
is a
US president
([fact: ["123991961@trueknowledge.com"]])
Fact 3
is true for
January 20th 1977 - January 20th 1981
([fact: ["130969825@trueknowledge.com"]])
By calculation (generator: ["overlap1@trueknowledge.com"]) I know that:
January 20th 1977 - January 20th 1981
is overlapping with
January 17th 1977 - January 17th 1984
I know from locally stored knowledge that:
Fact 4:
Ronald Reagan
is a
US president
([fact: ["123991962@trueknowledge.com"]])
Fact 4
is true for
January 20th 1981 - January 20th 1989
([fact: ["130969271@trueknowledge.com"]])
By calculation (generator: ["overlap1@trueknowledge.com"]) I know that:
January 20th 1981 - January 20th 1989
is overlapping with
January 17th 1977 - January 17th 1984
Adding…
