Therefore (generator: ["strictequal1@trueknowledge.com"]):
dog
is not strictly equal to
rodent
I know from locally stored knowledge that:
dog
is a subclass of
non-human organism
([fact: ["230144646@trueknowledge.com"]])
dog
is a subclass of
quadruped
([fact: ["234467182@trueknowledge.com"]])
dog
is a subclass of
carnivore
([fact: ["912861042@trueknowledge.com"]])
dog
is a subclass of
Caninae
([fact: ["423355559@trueknowledge.com"]])
dog
is a subclass of
Canis
([fact: ["131181853@trueknowledge.com"]])
dog
is a subclass of
Eumetazoa
([fact: ["423355603@trueknowledge.com"]])
dog
is a subclass of
eukaryote
([fact: ["131181858@trueknowledge.com"]])
dog
is a subclass of
caniform
([fact: ["423355567@trueknowledge.com"]])
dog
is a subclass of
therian
([fact: ["423355583@trueknowledge.com"]])
dog
is a subclass of
chordate
([fact: ["131181856@trueknowledge.com"]])
dog
is a subclass of
canine
([fact: ["15597205@trueknowledge.com"]])
dog
is a subclass of
organism
([fact: ["137173059@trueknowledge.com"]])
dog
is a subclass of
Carnivora
([fact: ["123974599@trueknowledge.com"]])
dog
is a subclass of
non-human animal
([fact: ["664155860@trueknowledge.com"]])
dog
is a subclass of
vertebrate
([fact: ["423355591@trueknowledge.com"]])
dog
is a subclass of
mammal
([fact: ["131181855@trueknowledge.com"]])
dog
is a subclass of
animal
([fact: ["131181857@trueknowledge.com"]])
rodent
is a subclass of
Euarchontoglires
([fact: ["130986203@trueknowledge.com"]])
rodent
is a subclass of
Boreoeutheria
([fact: ["684990392@trueknowledge.com"]])
rodent
is a subclass of
eukaryote
([fact: ["744103112@trueknowledge.com"]])
rodent
is a subclass of
therian
([fact: ["123936130@trueknowledge.com"]])
rodent
is a subclass of
placental mammal
([fact: ["123912810@trueknowledge.com"]])
rodent
is a subclass of
chordate
([fact: ["130986205@trueknowledge.com"]])
rodent
is a subclass of
non-human animal
([fact: ["1071388402@trueknowledge.com"]])
rodent
is a subclass of
non-human mammal
([fact: ["19362671@trueknowledge.com"]])
rodent
is a subclass of
mammal
([fact: ["130986204@trueknowledge.com"]])
rodent
is a subclass of
animal
([fact: ["130986206@trueknowledge.com"]])
canine
is a distinct class from
rodent
([fact: ["19362682@trueknowledge.com"]])
By calculation (generator: ["distinct_interleave@trueknowledge.com"]) I know that:
dog
is a distinct class from
rodent
Therefore (generator: ["subclassdistinct1@trueknowledge.com"]):
dog
is not a subclass of
rodent
Therefore (generator: ["not_same_as_or_subclass@trueknowledge.com"]):
dog
is not the same as or a subclass of
rodent
Facts
Show facts
