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 20th 2013, 00:48:18
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"]):
domestic cat
is not strictly equal to
carnivore
I know from locally stored knowledge that:
domestic cat
is a subclass of
animal
([fact: ["130985413@trueknowledge.com"]])
By calculation (generator: ["specifiedbysubclass1@trueknowledge.com"]) I know that:
Fact 1:
domestic cat
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 20th 2013, 00:48:18
I know from locally stored knowledge that:
permanent
applies to
is a subclass of
([fact: ["123877657@trueknowledge.com"]])