By calculation (generator: ["in_group@trueknowledge.com"]) I know that:
herbivorous organism
is in the group
herbivorous organism and carnivore
carnivore
is in the group
herbivorous organism and carnivore
By calculation (generator: ["now@trueknowledge.com"]) I know that:
The current time is May 25th 2013, 18:43:41
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:
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
May 25th 2013, 18:43:41
I know from locally stored knowledge that:
permanent
applies to
is a subclass of
([fact: ["123877657@trueknowledge.com"]])
