Therefore (generator: ["strictequal1@trueknowledge.com"]):
Honda Civic
is not strictly equal to
motorcycle
I know from locally stored knowledge that:
Honda Civic
is a subclass of
subcompact car
([fact: ["136400497@trueknowledge.com"]])
Honda Civic
is a subclass of
compact car
([fact: ["136399669@trueknowledge.com"]])
Honda Civic
is a subclass of
Honda vehicle
([fact: ["129101178@trueknowledge.com"]])
Honda Civic
is a subclass of
automobile
([fact: ["129101176@trueknowledge.com"]])
Honda Civic
is a subclass of
vehicle
([fact: ["129101177@trueknowledge.com"]])
motorcycle
is a subclass of
road vehicle
([fact: ["300115722@trueknowledge.com"]])
motorcycle
is a subclass of
motor vehicle
([fact: ["162584763@trueknowledge.com"]])
motorcycle
is a subclass of
self-propelled vehicle
([fact: ["124803784@trueknowledge.com"]])
motorcycle
is a subclass of
wheeled vehicle
([fact: ["124803027@trueknowledge.com"]])
motorcycle
is a subclass of
vehicle
([fact: ["19362609@trueknowledge.com"]])
automobile
is a distinct class from
motorcycle
([fact: ["19362611@trueknowledge.com"]])
By calculation (generator: ["distinct_interleave@trueknowledge.com"]) I know that:
Honda Civic
is a distinct class from
motorcycle
Therefore (generator: ["subclassdistinct1@trueknowledge.com"]):
Honda Civic
is not a subclass of
motorcycle
Therefore (generator: ["not_same_as_or_subclass@trueknowledge.com"]):
Honda Civic
is not the same as or a subclass of
motorcycle
Adding…
