I know from locally stored knowledge that:
the 3rd of August
is the birthday of
Corrado Colombo
([fact: ["generated.867571696@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:
Corrado Colombo
is something with the same left value for the relation as
is the birthday of and Jeffrey Sarpong
Fact 1
is true for
all time
Therefore (generator: ["equals1@trueknowledge.com"]):
Corrado Colombo
is not the same as
Jeffrey Sarpong
I know from locally stored knowledge that:
Corrado Colombo
is a
Forward
([fact: ["424245184@trueknowledge.com"]])
By calculation (generator: ["same_left_value@trueknowledge.com"]) I know that:
Fact 1:
Henrique Frade
is something with the same left value for the relation as
is the birthday of and Jeffrey Sarpong
Fact 1
is true for
all time
Therefore (generator: ["equals1@trueknowledge.com"]):
Henrique Frade
is not the same as
Jeffrey Sarpong
I know from locally stored knowledge that:
Henrique Frade
is a
Forward
([fact: ["997102610@trueknowledge.com"]])