By calculation (generator: ["in_group@trueknowledge.com"]) I know that:
vegetable
is in the group
vegetable and fruit
fruit
is in the group
vegetable and fruit
By calculation (generator: ["now@trueknowledge.com"]) I know that:
The current time is February 14th 2012, 12:46:15
I know from locally stored knowledge that:
Fact 1:
squash
is a subclass of
fruit
([fact: ["164428430@trueknowledge.com"]])
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, 12:46:15
I know from locally stored knowledge that:
permanent
applies to
is a subclass of
([fact: ["123877657@trueknowledge.com"]])
Fact 2:
squash
is a subclass of
vegetable
([fact: ["164428434@trueknowledge.com"]])
By calculation (generator: ["perm5@trueknowledge.com"]) I know that:
Fact 2
is true for
all time
By calculation (generator: ["timeperiodtopoint@trueknowledge.com"]) I know that:
Fact 2
is true at
February 14th 2012, 12:46:15