I know from locally stored knowledge that:
Fact 1:
Ronald Reagan
is a
President
([fact: ["130969269@trueknowledge.com"]])
By calculation (generator: ["iaif2@trueknowledge.com"]) I know that:
Fact 1
is true for
January 20th 1981 - January 20th 1989
By calculation (generator: ["timeperiodtopoint@trueknowledge.com"]) I know that:
Fact 1
is true at
January 14th 1985
I know from locally stored knowledge that:
US president
is a subclass of
President
([fact: ["120428559@trueknowledge.com"]])
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"]])
Fact 3:
João Baptista de Oliveira Figueiredo
is a
President
([fact: ["360542011@trueknowledge.com"]])
By calculation (generator: ["iaif2@trueknowledge.com"]) I know that:
Fact 3
is true for
March 15th 1979 - March 15th 1985
By calculation (generator: ["timeperiodtopoint@trueknowledge.com"]) I know that:
Fact 3
is true at
January 14th 1985
I know from locally stored knowledge that:
President of Brazil
is a subclass of
President
([fact: ["420076184@trueknowledge.com"]])
Fact 4:
João Baptista de Oliveira Figueiredo
is the president of
Brazil
([fact: ["153274662@trueknowledge.com"]])
Fact 4
is true for
March 15th 1979 - March 15th 1985
([fact: ["685274480@trueknowledge.com"]])
By calculation (generator: ["moc1@trueknowledge.com"]) I know that:
Fact 5:
João Baptista de Oliveira Figueiredo
is a
President of Brazil
Fact 5
is true for
March 15th 1979 - March 15th 1985
I know from locally stored knowledge that:
President of Turkey
is a subclass of
President
([fact: ["123961581@trueknowledge.com"]])
Fact 6:
Kenan Evren
is the president of
Turkey
([fact: ["703075520@trueknowledge.com"]])
Fact 6
is true for
September 12th 1980 - November 9th 1989
([fact: ["703075528@trueknowledge.com"]])
By calculation (generator: ["moc1@trueknowledge.com"]) I know that:
Fact 5:
Kenan Evren
is a
President of Turkey
Fact 5
is true for
September 12th 1980 - November 9th 1989
By calculation (generator: ["iaif2@trueknowledge.com"]) I know that:
Fact 8:
Kenan Evren
is a
President
Fact 8
is true for
September 12th 1980 - November 9th 1989
By calculation (generator: ["timeperiodtopoint@trueknowledge.com"]) I know that:
Fact 8
is true at
January 14th 1985
I know from locally stored knowledge that:
Fact 9:
Chaim Herzog
is the president of
Israel
([fact: ["368858823@trueknowledge.com"]])
Fact 9
is true for
May 5th 1983 - May 13th 1993
([fact: ["681554644@trueknowledge.com"]])
By calculation (generator: ["moc1@trueknowledge.com"]) I know that:
Fact 5:
Chaim Herzog
is a
President of Israel
Fact 5
is true for
May 5th 1983 - May 13th 1993
By calculation (generator: ["iaif2@trueknowledge.com"]) I know that:
Fact 8:
Chaim Herzog
is a
President
Fact 8
is true for
May 5th 1983 - May 13th 1993
By calculation (generator: ["timeperiodtopoint@trueknowledge.com"]) I know that:
Fact 8
is true at
January 14th 1985