Therefore (generator: ["strictequal1@trueknowledge.com"]):
savanna
is not strictly equal to
spanish name
By calculation (generator: ["first_parameter@trueknowledge.com"]) I know that:
name
is the first parameter of
spanish name
I know from locally stored knowledge that:
savanna
is a subclass of
area within a nation
([fact: ["129891444@trueknowledge.com"]])
By calculation (generator: ["strictequal1@trueknowledge.com"]) I know that:
name
is strictly equal to
name
By calculation (generator: ["ppac1@trueknowledge.com"]) I know that:
spanish name
is a subclass of
name
I know from locally stored knowledge that:
name
is a subclass of
name
([fact: ["105762511@trueknowledge.com"]])
By calculation (generator: ["parents_unknown@trueknowledge.com"]) I know that:
parents not statically known
applies to
savanna
By calculation (generator: ["subclass4@trueknowledge.com"]) I know that:
savanna
is a subclass of
individual object
savanna
is a subclass of
object with an area
savanna
is a subclass of
object classified by physical property
savanna
is a subclass of
inanimate object
savanna
is a subclass of
visible object
savanna
is a subclass of
concept with variable precision
savanna
is a subclass of
thing that was created
savanna
is a subclass of
entity
savanna
is a subclass of
object with a geographical location
savanna
is a subclass of
physical object
I know from locally stored knowledge that:
area within a nation
is a subclass of
geographical area
([fact: ["15596106@trueknowledge.com"]])
By calculation (generator: ["subclass4@trueknowledge.com"]) I know that:
savanna
is a subclass of
geographical area
By calculation (generator: ["parents_unknown@trueknowledge.com"]) I know that:
parents not statically known
applies to
spanish name
By calculation (generator: ["subclass4@trueknowledge.com"]) I know that:
spanish name
is a subclass of
name
By calculation (generator: ["distinct_interleave@trueknowledge.com"]) I know that:
savanna
is a distinct class from
spanish name
Therefore (generator: ["subclassdistinct1@trueknowledge.com"]):
savanna
is not a subclass of
spanish name
Therefore (generator: ["not_same_as_or_subclass@trueknowledge.com"]):
savanna
is not the same as or a subclass of
spanish name
