Therefore (generator: ["strictequal1@trueknowledge.com"]):
fox
is not strictly equal to
automobile
I know from locally stored knowledge that:
fox
is a subclass of
Caninae
([fact: ["994613162@trueknowledge.com"]])
fox
is a subclass of
Vulpes
([fact: ["260405166@trueknowledge.com"]])
fox
is a subclass of
eukaryote
([fact: ["1101032986@trueknowledge.com"]])
fox
is a subclass of
chordate
([fact: ["130985591@trueknowledge.com"]])
fox
is a subclass of
canine
([fact: ["127580939@trueknowledge.com"]])
fox
is a subclass of
Carnivora
([fact: ["130985589@trueknowledge.com"]])
fox
is a subclass of
mammal
([fact: ["130985590@trueknowledge.com"]])
fox
is a subclass of
animal
([fact: ["130985592@trueknowledge.com"]])
automobile
is a subclass of
road vehicle
([fact: ["300113930@trueknowledge.com"]])
automobile
is a subclass of
transportation item
([fact: ["250103166@trueknowledge.com"]])
automobile
is a subclass of
motor vehicle
([fact: ["162584735@trueknowledge.com"]])
automobile
is a subclass of
retail product
([fact: ["2023559978@trueknowledge.com"]])
automobile
is a subclass of
self-propelled vehicle
([fact: ["124803753@trueknowledge.com"]])
automobile
is a subclass of
wheeled vehicle
([fact: ["124802983@trueknowledge.com"]])
automobile
is a subclass of
manufactured item
([fact: ["127740320@trueknowledge.com"]])
automobile
is a subclass of
vehicle
([fact: ["1154755@trueknowledge.com"]])
By calculation (generator: ["distinct_interleave@trueknowledge.com"]) I know that:
fox
is a distinct class from
automobile
Therefore (generator: ["subclassdistinct1@trueknowledge.com"]):
fox
is not a subclass of
automobile
Therefore (generator: ["not_same_as_or_subclass@trueknowledge.com"]):
fox
is not the same as or a subclass of
automobile
Adding…
