Therefore (generator: ["strictequal1@trueknowledge.com"]):
frog
is not strictly equal to
reptile
I know from locally stored knowledge that:
frog
is a subclass of
eukaryote
([fact: ["1399274406@trueknowledge.com"]])
frog
is a subclass of
anura
([fact: ["1399260170@trueknowledge.com"]])
frog
is a subclass of
non-human animal
([fact: ["1399269318@trueknowledge.com"]])
reptile
is a subclass of
organism
([fact: ["431403792@trueknowledge.com"]])
reptile
is a subclass of
tetrapod
([fact: ["159090001@trueknowledge.com"]])
reptile
is a subclass of
vertebrate
([fact: ["1148862@trueknowledge.com"]])
reptile
is a subclass of
non-human animal
([fact: ["1148861@trueknowledge.com"]])
By calculation (generator: ["distinct_interleave@trueknowledge.com"]) I know that:
frog
is a distinct class from
reptile
Therefore (generator: ["subclassdistinct1@trueknowledge.com"]):
frog
is not a subclass of
reptile
Therefore (generator: ["not_same_as_or_subclass@trueknowledge.com"]):
frog
is not the same as or a subclass of
reptile
Adding…
