Therefore (generator: ["strictequal1@trueknowledge.com"]):
Oldsmobile Cutlass Ciera
is not strictly equal to
man
I know from locally stored knowledge that:
Oldsmobile Cutlass Ciera
is a subclass of
[mid-sized car]
([fact: ["393264191@trueknowledge.com"]])
Oldsmobile Cutlass Ciera
is a subclass of
mid-size car
([fact: ["136400755@trueknowledge.com"]])
Oldsmobile Cutlass Ciera
is a subclass of
Oldsmobile vehicle
([fact: ["129105726@trueknowledge.com"]])
Oldsmobile Cutlass Ciera
is a subclass of
automobile
([fact: ["129105724@trueknowledge.com"]])
Oldsmobile Cutlass Ciera
is a subclass of
vehicle
([fact: ["129105725@trueknowledge.com"]])
man
is a subclass of
adult person
([fact: ["134144386@trueknowledge.com"]])
man
is a subclass of
male person
([fact: ["1154098@trueknowledge.com"]])
man
is a subclass of
person
([fact: ["1132308@trueknowledge.com"]])
man in space
is a subclass of
man
([fact: ["409434739@trueknowledge.com"]])
widower
is a subclass of
man
([fact: ["125267350@trueknowledge.com"]])
king
is a subclass of
man
([fact: ["123992213@trueknowledge.com"]])
bachelor
is a subclass of
man
([fact: ["1154383@trueknowledge.com"]])
automobile
is a distinct class from
person
([fact: ["243033502@trueknowledge.com"]])
By calculation (generator: ["distinct_interleave@trueknowledge.com"]) I know that:
Oldsmobile Cutlass Ciera
is a distinct class from
man
Therefore (generator: ["subclassdistinct1@trueknowledge.com"]):
Oldsmobile Cutlass Ciera
is not a subclass of
man
Therefore (generator: ["not_same_as_or_subclass@trueknowledge.com"]):
Oldsmobile Cutlass Ciera
is not the same as or a subclass of
man
Adding…
