Therefore (generator: ["strictequal1@trueknowledge.com"]):
fly
is not strictly equal to
arachnid
I know from locally stored knowledge that:
fly
is a subclass of
eukaryote
([fact: ["1074414526@trueknowledge.com"]])
fly
is a subclass of
Pterygota
([fact: ["394300099@trueknowledge.com"]])
fly
is a subclass of
Neoptera
([fact: ["394300091@trueknowledge.com"]])
fly
is a subclass of
Endopterygota
([fact: ["394300083@trueknowledge.com"]])
fly
is a subclass of
arthropod
([fact: ["394300107@trueknowledge.com"]])
fly
is a subclass of
non-human animal
([fact: ["1074414522@trueknowledge.com"]])
fly
is a subclass of
insect
([fact: ["123932076@trueknowledge.com"]])
fly
is a subclass of
animal
([fact: ["394299923@trueknowledge.com"]])
arachnid
is a subclass of
Chelicerata
([fact: ["644505640@trueknowledge.com"]])
arachnid
is a subclass of
eukaryote
([fact: ["1070718002@trueknowledge.com"]])
arachnid
is a subclass of
arthropod
([fact: ["124920553@trueknowledge.com"]])
arachnid
is a subclass of
non-human animal
([fact: ["1070717998@trueknowledge.com"]])
arachnid
is a subclass of
animal
([fact: ["686432392@trueknowledge.com"]])
insect
is a distinct class from
arachnid
([fact: ["124920554@trueknowledge.com"]])
By calculation (generator: ["distinct_interleave@trueknowledge.com"]) I know that:
fly
is a distinct class from
arachnid
Therefore (generator: ["subclassdistinct1@trueknowledge.com"]):
fly
is not a subclass of
arachnid
Therefore (generator: ["not_same_as_or_subclass@trueknowledge.com"]):
fly
is not the same as or a subclass of
arachnid