I know from locally stored knowledge that:
Fact 1:
Victoria of the United Kingdom
is the queen of
England
([fact: ["139638812@trueknowledge.com"]])
By calculation (generator: ["is_the_queen_of@trueknowledge.com"]) I know that:
Fact 1
is true for
June 20th 1837 - January 22nd 1901
I know from locally stored knowledge that:
Fact 1
is true for
June 20th 1837 - January 22nd 1901
([fact: ["139638813@trueknowledge.com"]])
Fact 2:
Victoria of the United Kingdom
is the monarch of
England
([fact: ["953643766@trueknowledge.com"]])
Fact 2
is true for
June 20th 1837 - January 22nd 1901
([fact: ["953643874@trueknowledge.com"]])
female
applies to
Victoria of the United Kingdom
([fact: ["1148490@trueknowledge.com"]])
Fact 3:
Pope Leo XIII
is a
pope
([fact: ["129930619@trueknowledge.com"]])
Fact 3
is true for
February 20th 1878 - July 20th 1903
([fact: ["129930623@trueknowledge.com"]])
Therefore (generator: ["distinct_interleave@trueknowledge.com"]):
pope
is not a distinct class from
entity that is capable of deliberate action
By calculation (generator: ["overlap1@trueknowledge.com"]) I know that:
February 20th 1878 - July 20th 1903
is overlapping with
June 20th 1837 - January 22nd 1901
I know from locally stored knowledge that:
Fact 4:
Pope Pius IX
is a
pope
([fact: ["234462466@trueknowledge.com"]])
Fact 4
is true for
June 16th 1846 - February 7th 1878
([fact: ["234475934@trueknowledge.com"]])
By calculation (generator: ["overlap1@trueknowledge.com"]) I know that:
June 16th 1846 - February 7th 1878
is overlapping with
June 20th 1837 - January 22nd 1901
