By calculation (generator: ["now@trueknowledge.com"]) I know that:
The current time is February 13th 2012, 05:47:22
I know from locally stored knowledge that:
Fact 1:
polar bear
is a type of animal that preys on
walrus
([fact: ["129223271@trueknowledge.com"]])
By calculation (generator: ["perm5@trueknowledge.com"]) I know that:
Fact 1
is true for
all time
I know from locally stored knowledge that:
permanent
applies to
is a type of animal that preys on
([fact: ["129219554@trueknowledge.com"]])
By calculation (generator: ["strictequal1@trueknowledge.com"]) I know that:
walrus
is strictly equal to
walrus
By calculation (generator: ["class_animals_that_eat@trueknowledge.com"]) I know that:
Fact 2:
polar bear
is a class of animals that eat
walrus
Fact 2
is true for
all time
By calculation (generator: ["timeperiodtopoint@trueknowledge.com"]) I know that:
Fact 2
is true at
February 13th 2012, 05:47:22
I know from locally stored knowledge that:
Fact 3:
polar bear
is a type of animal that preys on
seal
([fact: ["129229854@trueknowledge.com"]])
By calculation (generator: ["perm5@trueknowledge.com"]) I know that:
Fact 3
is true for
all time
By calculation (generator: ["strictequal1@trueknowledge.com"]) I know that:
seal
is strictly equal to
seal
By calculation (generator: ["class_animals_that_eat@trueknowledge.com"]) I know that:
Fact 2:
polar bear
is a class of animals that eat
seal
Fact 2
is true for
all time
By calculation (generator: ["timeperiodtopoint@trueknowledge.com"]) I know that:
Fact 2
is true at
February 13th 2012, 05:47:22