Therefore (generator: ["strictequal1@trueknowledge.com"]):
seahorse
is not strictly equal to
mammal
I know from locally stored knowledge that:
seahorse
is a subclass of
Syngnathiformes
([fact: ["130989622@trueknowledge.com"]])
seahorse
is a subclass of
Syngnathidae
([fact: ["130989621@trueknowledge.com"]])
seahorse
is a subclass of
eukaryote
([fact: ["1076661078@trueknowledge.com"]])
seahorse
is a subclass of
chordate
([fact: ["130989623@trueknowledge.com"]])
seahorse
is a subclass of
fish
([fact: ["1076661082@trueknowledge.com"]])
seahorse
is a subclass of
non-human animal
([fact: ["1076661074@trueknowledge.com"]])
seahorse
is a subclass of
animal
([fact: ["130989624@trueknowledge.com"]])
mammal
is a subclass of
amniote
([fact: ["130985908@trueknowledge.com"]])
mammal
is a subclass of
Gnathostomata
([fact: ["431919756@trueknowledge.com"]])
mammal
is a subclass of
eukaryote
([fact: ["431919844@trueknowledge.com"]])
mammal
is a subclass of
tetrapod
([fact: ["159103817@trueknowledge.com"]])
mammal
is a subclass of
chordate
([fact: ["130985909@trueknowledge.com"]])
mammal
is a subclass of
vertebrate
([fact: ["1131678@trueknowledge.com"]])
mammal
is a subclass of
animal
([fact: ["130985910@trueknowledge.com"]])
fish
is a distinct class from
mammal
([fact: ["1154169@trueknowledge.com"]])
By calculation (generator: ["distinct_interleave@trueknowledge.com"]) I know that:
seahorse
is a distinct class from
mammal
Therefore (generator: ["subclassdistinct1@trueknowledge.com"]):
seahorse
is not a subclass of
mammal
Therefore (generator: ["not_same_as_or_subclass@trueknowledge.com"]):
seahorse
is not the same as or a subclass of
mammal
Adding…
