Therefore (generator: ["strictequal1@trueknowledge.com"]):
lobster
is not strictly equal to
spider
I know from locally stored knowledge that:
lobster
is a subclass of
Nephropoidea
([fact: ["702320436@trueknowledge.com"]])
lobster
is a subclass of
Astacidea
([fact: ["130986956@trueknowledge.com"]])
lobster
is a subclass of
Pleocyemata
([fact: ["673480520@trueknowledge.com"]])
lobster
is a subclass of
Decapoda
([fact: ["130986957@trueknowledge.com"]])
lobster
is a subclass of
Malacostraca
([fact: ["130986958@trueknowledge.com"]])
lobster
is a subclass of
eukaryote
([fact: ["418705091@trueknowledge.com"]])
lobster
is a subclass of
Crustacean
([fact: ["130986959@trueknowledge.com"]])
lobster
is a subclass of
arthropod
([fact: ["130986960@trueknowledge.com"]])
lobster
is a subclass of
non-human animal
([fact: ["1075464018@trueknowledge.com"]])
lobster
is a subclass of
animal
([fact: ["130986961@trueknowledge.com"]])
spider
is a subclass of
Arachnomorpha
([fact: ["684452884@trueknowledge.com"]])
spider
is a subclass of
Chelicerata
([fact: ["370671891@trueknowledge.com"]])
spider
is a subclass of
arachnid
([fact: ["124920558@trueknowledge.com"]])
spider
is a subclass of
eukaryote
([fact: ["1073922850@trueknowledge.com"]])
spider
is a subclass of
arthropod
([fact: ["20097574@trueknowledge.com"]])
spider
is a subclass of
non-human animal
([fact: ["368122683@trueknowledge.com"]])
spider
is a subclass of
animal
([fact: ["130986611@trueknowledge.com"]])
By calculation (generator: ["distinct_interleave@trueknowledge.com"]) I know that:
lobster
is a distinct class from
spider
Therefore (generator: ["subclassdistinct1@trueknowledge.com"]):
lobster
is not a subclass of
spider
Therefore (generator: ["not_same_as_or_subclass@trueknowledge.com"]):
lobster
is not the same as or a subclass of
spider