Therefore (generator: ["strictequal1@trueknowledge.com"]):
lemur
is not strictly equal to
rodent
I know from locally stored knowledge that:
lemur
is a subclass of
animal
([fact: ["131045396@trueknowledge.com"]])
lemur
is a subclass of
mammal
([fact: ["131045388@trueknowledge.com"]])
lemur
is a subclass of
non-human animal
([fact: ["1158498@trueknowledge.com"]])
lemur
is a subclass of
primate
([fact: ["1154708@trueknowledge.com"]])
lemur
is a subclass of
non-human primate
([fact: ["15717816@trueknowledge.com"]])
lemur
is a subclass of
chordate
([fact: ["131045395@trueknowledge.com"]])
lemur
is a subclass of
eukaryote
([fact: ["744096500@trueknowledge.com"]])
lemur
is a subclass of
Strepsirrhini
([fact: ["131045387@trueknowledge.com"]])
rodent
is a subclass of
animal
([fact: ["130986206@trueknowledge.com"]])
rodent
is a subclass of
mammal
([fact: ["130986204@trueknowledge.com"]])
rodent
is a subclass of
non-human mammal
([fact: ["19362671@trueknowledge.com"]])
rodent
is a subclass of
non-human animal
([fact: ["1071388402@trueknowledge.com"]])
rodent
is a subclass of
chordate
([fact: ["130986205@trueknowledge.com"]])
rodent
is a subclass of
placental mammal
([fact: ["123912810@trueknowledge.com"]])
rodent
is a subclass of
therian
([fact: ["123936130@trueknowledge.com"]])
rodent
is a subclass of
eukaryote
([fact: ["744103112@trueknowledge.com"]])
rodent
is a subclass of
Boreoeutheria
([fact: ["684990392@trueknowledge.com"]])
rodent
is a subclass of
Euarchontoglires
([fact: ["130986203@trueknowledge.com"]])
non-human primate
is a distinct class from
rodent
([fact: ["19362683@trueknowledge.com"]])
By calculation (generator: ["distinct_interleave@trueknowledge.com"]) I know that:
lemur
is a distinct class from
rodent
Therefore (generator: ["subclassdistinct1@trueknowledge.com"]):
lemur
is not a subclass of
rodent
Therefore (generator: ["not_same_as_or_subclass@trueknowledge.com"]):
lemur
is not the same as or a subclass of
rodent