Therefore (generator: ["strictequal1@trueknowledge.com"]):
male lemur
is not strictly equal to
dictator
By calculation (generator: ["first_parameter@trueknowledge.com"]) I know that:
lemur
is the first parameter of
male lemur
By calculation (generator: ["strictequal1@trueknowledge.com"]) I know that:
lemur
is strictly equal to
lemur
By calculation (generator: ["ppac1@trueknowledge.com"]) I know that:
male lemur
is a subclass of
lemur
I know from locally stored knowledge that:
lemur
is a subclass of
Strepsirrhini
([fact: ["131045387@trueknowledge.com"]])
lemur
is a subclass of
eukaryote
([fact: ["744096500@trueknowledge.com"]])
lemur
is a subclass of
chordate
([fact: ["131045395@trueknowledge.com"]])
lemur
is a subclass of
non-human primate
([fact: ["15717816@trueknowledge.com"]])
lemur
is a subclass of
primate
([fact: ["1154708@trueknowledge.com"]])
lemur
is a subclass of
non-human animal
([fact: ["1158498@trueknowledge.com"]])
lemur
is a subclass of
mammal
([fact: ["131045388@trueknowledge.com"]])
lemur
is a subclass of
animal
([fact: ["131045396@trueknowledge.com"]])
dictator
is a subclass of
person
([fact: ["603680520@trueknowledge.com"]])
By calculation (generator: ["distinct_interleave@trueknowledge.com"]) I know that:
male lemur
is a distinct class from
dictator
Therefore (generator: ["subclassdistinct1@trueknowledge.com"]):
male lemur
is not a subclass of
dictator
Therefore (generator: ["not_same_as_or_subclass@trueknowledge.com"]):
male lemur
is not the same as or a subclass of
dictator
Facts
Show facts
