Therefore (generator: ["strictequal1@trueknowledge.com"]):
Garter snake
is not strictly equal to
omnivore
I know from locally stored knowledge that:
carnivorous
is a mutually exclusive attribute of
omnivorous
([fact: ["1156226@trueknowledge.com"]])
By calculation (generator: ["strictequal1@trueknowledge.com"]) I know that:
omnivorous
is strictly equal to
omnivorous
By calculation (generator: ["ppac2@trueknowledge.com"]) I know that:
omnivorous
is true of every
omnivore
By calculation (generator: ["distinctclassmutuallyexclusiveatt1@trueknowledge.com"]) I know that:
Garter snake
is a distinct class from
omnivore
Therefore (generator: ["subclassdistinct1@trueknowledge.com"]):
Garter snake
is not a subclass of
omnivore
Therefore (generator: ["not_same_as_or_subclass@trueknowledge.com"]):
Garter snake
is not the same as or a subclass of
omnivore
.jpg)
Adding…
