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