I know from locally stored knowledge that:
the 25th of July
is the birthday of
Christoph Scheiner
([fact: ["generated.867417752@trueknowledge.com"]])
permanent
applies to
is the birthday of
([fact: ["1152640@trueknowledge.com"]])
By calculation (generator: ["tpintersect@trueknowledge.com"]) I know that:
all time
is the timeperiod intersection of
all time and all time
By calculation (generator: ["same_left_value@trueknowledge.com"]) I know that:
Fact 1:
Christoph Scheiner
is something with the same left value for the relation as
is the birthday of and Anne Applebaum
Fact 1
is true for
all time
Therefore (generator: ["equals1@trueknowledge.com"]):
Christoph Scheiner
is not the same as
Anne Applebaum
I know from locally stored knowledge that:
Christoph Scheiner
is a
writer
([fact: ["691698784@trueknowledge.com"]])
By calculation (generator: ["same_left_value@trueknowledge.com"]) I know that:
Fact 1:
George Peele
is something with the same left value for the relation as
is the birthday of and Anne Applebaum
Fact 1
is true for
all time
Therefore (generator: ["equals1@trueknowledge.com"]):
George Peele
is not the same as
Anne Applebaum
I know from locally stored knowledge that:
George Peele
is a
writer
([fact: ["1165365012@trueknowledge.com"]])