By calculation (generator: ["in_group@trueknowledge.com"]) I know that:
bird
is in the group
bird and non-human animal
non-human animal
is in the group
bird and non-human animal
By calculation (generator: ["now@trueknowledge.com"]) I know that:
The current time is February 13th 2012, 19:53:34
I know from locally stored knowledge that:
Fact 1:
bat
is a subclass of
non-human animal
([fact: ["1074494686@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 13th 2012, 19:53:34
I know from locally stored knowledge that:
permanent
applies to
is a subclass of
([fact: ["123877657@trueknowledge.com"]])