I know from locally stored knowledge that:
Antonio Inoki
is a
person
([fact: ["17676275@trueknowledge.com"]])
February 20th 1943
is the birthdate of
Antonio Inoki
([fact: ["125898778@trueknowledge.com"]])
By calculation (generator: ["timepoint_sum@trueknowledge.com"]) I know that:
February 20th 1956
is the timepoint sum of
February 20th 1943 and 13 years
February 20th 1963
is the timepoint sum of
February 20th 1943 and 20 years
By calculation (generator: ["teenager@trueknowledge.com"]) I know that:
Fact 1:
Antonio Inoki
is a
teenager
Fact 1
is true for
February 20th 1956 - February 20th 1963
I know from locally stored knowledge that:
Fact 2:
John F. Kennedy
is a
US president
([fact: ["105704276@trueknowledge.com"]])
Fact 2
is true for
January 20th 1961 - November 22nd 1963
([fact: ["130968889@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 1961 - November 22nd 1963
is overlapping with
February 20th 1956 - February 20th 1963
I know from locally stored knowledge that:
Fact 3:
Dwight D. Eisenhower
is a
US president
([fact: ["130968281@trueknowledge.com"]])
Fact 3
is true for
January 20th 1953 - January 20th 1961
([fact: ["130968283@trueknowledge.com"]])
By calculation (generator: ["overlap1@trueknowledge.com"]) I know that:
January 20th 1953 - January 20th 1961
is overlapping with
February 20th 1956 - February 20th 1963