Therefore (generator: ["strictequal1@trueknowledge.com"]):
lemon shark
is not strictly equal to
cannibal
I know from locally stored knowledge that:
lemon shark
is a subclass of
Elasmobranchii
([fact: ["131061989@trueknowledge.com"]])
lemon shark
is a subclass of
Carcharhiniformes
([fact: ["131061988@trueknowledge.com"]])
lemon shark
is a subclass of
requiem shark
([fact: ["131061987@trueknowledge.com"]])
lemon shark
is a subclass of
Negaprion
([fact: ["131061986@trueknowledge.com"]])
lemon shark
is a subclass of
cartilaginous fish
([fact: ["131061990@trueknowledge.com"]])
lemon shark
is a subclass of
eukaryote
([fact: ["1107648186@trueknowledge.com"]])
lemon shark
is a subclass of
chordate
([fact: ["131061991@trueknowledge.com"]])
lemon shark
is a subclass of
organism
([fact: ["137376030@trueknowledge.com"]])
lemon shark
is a subclass of
fish
([fact: ["1107648182@trueknowledge.com"]])
lemon shark
is a subclass of
animal
([fact: ["131061992@trueknowledge.com"]])
cannibal
is a subclass of
person
([fact: ["375590543@trueknowledge.com"]])
By calculation (generator: ["distinct_interleave@trueknowledge.com"]) I know that:
lemon shark
is a distinct class from
cannibal
Therefore (generator: ["subclassdistinct1@trueknowledge.com"]):
lemon shark
is not a subclass of
cannibal
Therefore (generator: ["not_same_as_or_subclass@trueknowledge.com"]):
lemon shark
is not the same as or a subclass of
cannibal