I know from locally stored knowledge that:
the 19th of April
is the birthday of
Christian Reiher
([fact: ["generated.867391712@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:
Christian Reiher
is something with the same left value for the relation as
is the birthday of and Conel Hugh O'Donel Alexander
Fact 1
is true for
all time
Therefore (generator: ["equals1@trueknowledge.com"]):
Christian Reiher
is not the same as
Conel Hugh O'Donel Alexander
I know from locally stored knowledge that:
Christian Reiher
is a
mathematician
([fact: ["141598725@trueknowledge.com"]])
By calculation (generator: ["same_left_value@trueknowledge.com"]) I know that:
Fact 1:
Fred Brooks
is something with the same left value for the relation as
is the birthday of and Conel Hugh O'Donel Alexander
Fact 1
is true for
all time
Therefore (generator: ["equals1@trueknowledge.com"]):
Fred Brooks
is not the same as
Conel Hugh O'Donel Alexander
I know from locally stored knowledge that:
Fred Brooks
is a
mathematician
([fact: ["683705844@trueknowledge.com"]])
By calculation (generator: ["same_left_value@trueknowledge.com"]) I know that:
Fact 1:
James Cullen
is something with the same left value for the relation as
is the birthday of and Conel Hugh O'Donel Alexander
Fact 1
is true for
all time
Therefore (generator: ["equals1@trueknowledge.com"]):
James Cullen
is not the same as
Conel Hugh O'Donel Alexander
I know from locally stored knowledge that:
James Cullen
is a
mathematician
([fact: ["433303332@trueknowledge.com"]])