Therefore (generator: ["strictequal1@trueknowledge.com"]):
pope
is not strictly equal to
Muslim
I know from locally stored knowledge that:
roman catholic
is true of every
pope
([fact: ["372911839@trueknowledge.com"]])
Muslim
is true of every
Muslim
([fact: ["243922002@trueknowledge.com"]])
Christian
is a mutually exclusive attribute of
Muslim
([fact: ["127741118@trueknowledge.com"]])
By calculation (generator: ["distinctclassmutuallyexclusiveatt1@trueknowledge.com"]) I know that:
pope
is a distinct class from
Muslim
Therefore (generator: ["subclassdistinct1@trueknowledge.com"]):
pope
is not a subclass of
Muslim
Therefore (generator: ["not_same_as_or_subclass@trueknowledge.com"]):
pope
is not the same as or a subclass of
Muslim
Adding…
