I know from locally stored knowledge that:
Fact 1:
Abraham Lincoln
is a
person
([fact: ["1147750@trueknowledge.com"]])
By calculation (generator: ["permanent@trueknowledge.com"]) I know that:
Fact 1
is true for
all time
I know from locally stored knowledge that:
omnivorous
is true of every
person
([fact: ["1156216@trueknowledge.com"]])
omnivorous
is a mutually exclusive attribute of
herbivorous
([fact: ["1156223@trueknowledge.com"]])
herbivorous
is true of every
koala
([fact: ["127369203@trueknowledge.com"]])
By calculation (generator: ["distinctclassmutuallyexclusiveatt1@trueknowledge.com"]) I know that:
person
is a distinct class from
koala
I know from locally stored knowledge that:
permanent
applies to
person
([fact: ["1131338@trueknowledge.com"]])
Therefore (generator: ["distinct1@trueknowledge.com"]):
Fact 2:
Abraham Lincoln
is not a
koala
By calculation (generator: ["distinct1@trueknowledge.com"]) I know that:
Fact 2
is true for
all time