By calculation (generator: ["in_group@trueknowledge.com"]) I know that:
omnivore
is in the group
omnivore and carnivore
carnivore
is in the group
omnivore and carnivore
By calculation (generator: ["now@trueknowledge.com"]) I know that:
The current time is February 14th 2012, 13:59:40
By calculation (generator: ["strictequal1@trueknowledge.com"]) I know that:
animal
is strictly equal to
animal
By calculation (generator: ["ppac1@trueknowledge.com"]) I know that:
carnivore
is a subclass of
animal
By calculation (generator: ["strictequal1@trueknowledge.com"]) I know that:
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:
Fact 1:
snake
is a subclass of
carnivore
By calculation (generator: ["perm5@trueknowledge.com"]) I know that:
Fact 1
is true for
all time
By calculation (generator: ["timeperiodtopoint@trueknowledge.com"]) I know that:
Fact 1
is true at
February 14th 2012, 13:59:40
I know from locally stored knowledge that:
permanent
applies to
is a subclass of
([fact: ["123877657@trueknowledge.com"]])
Adding…
