By calculation (generator: ["parents_unknown@trueknowledge.com"]) I know that:
parents not statically known
applies to
coral snake
I know from locally stored knowledge that:
coral snake
is a subclass of
snake
([fact: ["131054214@trueknowledge.com"]])
By calculation (generator: ["strictequal1@trueknowledge.com"]) I know that:
animal
is strictly equal to
animal
carnivorous
is strictly equal to
carnivorous
By calculation (generator: ["ppacspecifiedby@trueknowledge.com"]) I know that:
carnivore
is specified by
animal and carnivorous
Therefore (generator: ["strictequal1@trueknowledge.com"]):
snake
is not strictly equal to
carnivore
I know from locally stored knowledge that:
snake
is a subclass of
animal
([fact: ["130986321@trueknowledge.com"]])
carnivorous
is true of every
snake
([fact: ["1156111@trueknowledge.com"]])
By calculation (generator: ["specifiedbysubclass1@trueknowledge.com"]) I know that:
snake
is a subclass of
carnivore
I know from locally stored knowledge that:
coral snake
is a subclass of
Elapidae
([fact: ["131054213@trueknowledge.com"]])
By calculation (generator: ["parents_unknown@trueknowledge.com"]) I know that:
parents not statically known
applies to
Elapidae
I know from locally stored knowledge that:
Elapidae
is a subclass of
snake
([fact: ["131021782@trueknowledge.com"]])
Elapidae
is a subclass of
Alethinophidia
([fact: ["702928896@trueknowledge.com"]])
By calculation (generator: ["parents_unknown@trueknowledge.com"]) I know that:
parents not statically known
applies to
Alethinophidia
I know from locally stored knowledge that:
Alethinophidia
is a subclass of
snake
([fact: ["133287375@trueknowledge.com"]])
By calculation (generator: ["subclass4@trueknowledge.com"]) I know that:
Alethinophidia
is a subclass of
carnivore
Elapidae
is a subclass of
carnivore
coral snake
is a subclass of
carnivore
By calculation (generator: ["same_as_or_subclass2@trueknowledge.com"]) I know that:
coral snake
is the same as or a subclass of
carnivore
Adding…
