I know from locally stored knowledge that:
is the date of creation of
is a more general form of
is the birthdate of
([fact: ["1142770@trueknowledge.com"]])
left unique
applies to
is the date of creation of
([fact: ["1142755@trueknowledge.com"]])
left object has variable accuracy
applies to
is the date of creation of
([fact: ["1149015@trueknowledge.com"]])
permanent
applies to
is the date of creation of
([fact: ["1142750@trueknowledge.com"]])
By calculation (generator: ["moregeneral4@trueknowledge.com"]) I know that:
Fact 1:
February 1809
is the date of creation of
Abraham Lincoln
By calculation (generator: ["moregeneral1@trueknowledge.com"]) I know that:
Fact 1
is true for
all time
I know from locally stored knowledge that:
permanent
applies to
is the birthdate of
([fact: ["1132020@trueknowledge.com"]])
Therefore (generator: ["equals1@trueknowledge.com"]):
February 1809
is not the same as
1800
Therefore (generator: ["ismoreaccurate1@trueknowledge.com"]):
February 1809
is not a more accurate version of
1800
1800
is not a more accurate version of
February 1809
Therefore (generator: ["leftunique1@trueknowledge.com"]):
Fact 2:
1800
is not the date of creation of
Abraham Lincoln
By calculation (generator: ["leftunique1@trueknowledge.com"]) I know that:
Fact 2
is true for
all time
Therefore (generator: ["moregeneral2@trueknowledge.com"]):
Fact 3:
1800
is not the birthdate of
Abraham Lincoln
By calculation (generator: ["moregeneral2@trueknowledge.com"]) I know that:
Fact 3
is true for
all time
