By calculation (generator: ["now@trueknowledge.com"]) I know that:
The current time is May 21st 2013, 13:15:39
I know from locally stored knowledge that:
is a string with the meaning
is a more general form of
is the GNS ID of
([fact: ["127920188@trueknowledge.com"]])
permanent
applies to
is a string with the meaning
([fact: ["127739315@trueknowledge.com"]])
Fact 1:
"-1756713"
is the GNS ID of
Collis
([fact: ["46173274@trueknowledge.com"]])
By calculation (generator: ["perm5@trueknowledge.com"]) I know that:
Fact 1
is true for
all time
By calculation (generator: ["moregeneral4@trueknowledge.com"]) I know that:
Fact 2:
"-1756713"
is a string with the meaning
Collis
By calculation (generator: ["moregeneral1@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
May 21st 2013, 13:15:39
I know from locally stored knowledge that:
permanent
applies to
is the GNS ID of
([fact: ["20057991@trueknowledge.com"]])
