Therefore (generator: ["strictequal1@trueknowledge.com"]):
shark
is not strictly equal to
mammal
I know from locally stored knowledge that:
shark
is a subclass of
animal
([fact: ["131300434@trueknowledge.com"]])
shark
is a subclass of
vertebrate
([fact: ["130986837@trueknowledge.com"]])
shark
is a subclass of
non-human animal
([fact: ["1073698082@trueknowledge.com"]])
shark
is a subclass of
fish
([fact: ["19601920@trueknowledge.com"]])
shark
is a subclass of
organism
([fact: ["137206487@trueknowledge.com"]])
shark
is a subclass of
chordate
([fact: ["130986838@trueknowledge.com"]])
shark
is a subclass of
eukaryote
([fact: ["720006980@trueknowledge.com"]])
shark
is a subclass of
cartilaginous fish
([fact: ["124920223@trueknowledge.com"]])
shark
is a subclass of
marine fish
([fact: ["127372736@trueknowledge.com"]])
shark
is a subclass of
Cyprinid
([fact: ["131300431@trueknowledge.com"]])
shark
is a subclass of
Cypriniformes
([fact: ["131300432@trueknowledge.com"]])
shark
is a subclass of
Elasmobranchii
([fact: ["130986835@trueknowledge.com"]])
mammal
is a subclass of
animal
([fact: ["130985910@trueknowledge.com"]])
mammal
is a subclass of
vertebrate
([fact: ["1131678@trueknowledge.com"]])
mammal
is a subclass of
chordate
([fact: ["130985909@trueknowledge.com"]])
mammal
is a subclass of
tetrapod
([fact: ["159103817@trueknowledge.com"]])
mammal
is a subclass of
eukaryote
([fact: ["431919844@trueknowledge.com"]])
mammal
is a subclass of
Gnathostomata
([fact: ["431919756@trueknowledge.com"]])
mammal
is a subclass of
amniote
([fact: ["130985908@trueknowledge.com"]])
fish
is a distinct class from
mammal
([fact: ["1154169@trueknowledge.com"]])
By calculation (generator: ["distinct_interleave@trueknowledge.com"]) I know that:
shark
is a distinct class from
mammal
Therefore (generator: ["subclassdistinct1@trueknowledge.com"]):
shark
is not a subclass of
mammal
Therefore (generator: ["not_same_as_or_subclass@trueknowledge.com"]):
shark
is not the same as or a subclass of
mammal
Adding…
