By calculation (generator: ["now@trueknowledge.com"]) I know that:
The current time is May 23rd 2013, 09:24:57
I know from locally stored knowledge that:
is someone who had a significant role in
is a more general form of
is the designer of
([fact: ["1230885334@trueknowledge.com"]])
permanent
applies to
is someone who had a significant role in
([fact: ["1230546550@trueknowledge.com"]])
Fact 1:
Adriaan van Wijngaarden
is the designer of
ALGOL
([fact: ["361187491@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:
Adriaan van Wijngaarden
is someone who had a significant role in
ALGOL
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 23rd 2013, 09:24:57
I know from locally stored knowledge that:
Fact 3:
Adriaan van Wijngaarden
is a
author
([fact: ["877191844@trueknowledge.com"]])
Fact 3
is true at
May 23rd 2013, 09:24:57
([unknown object])
permanent
applies to
is the designer of
([fact: ["123879529@trueknowledge.com"]])
Fact 4:
Peter Naur
is the designer of
ALGOL
([fact: ["361187475@trueknowledge.com"]])
By calculation (generator: ["perm5@trueknowledge.com"]) I know that:
Fact 4
is true for
all time
By calculation (generator: ["moregeneral4@trueknowledge.com"]) I know that:
Fact 2:
Peter Naur
is someone who had a significant role in
ALGOL
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 23rd 2013, 09:24:57
I know from locally stored knowledge that:
Fact 6:
Peter Naur
is a
author
([fact: ["798423256@trueknowledge.com"]])
Fact 6
is true at
May 23rd 2013, 09:24:57
([unknown object])
Fact 7:
Alan Perlis
is the designer of
ALGOL
([fact: ["361187467@trueknowledge.com"]])
By calculation (generator: ["perm5@trueknowledge.com"]) I know that:
Fact 7
is true for
all time
By calculation (generator: ["moregeneral4@trueknowledge.com"]) I know that:
Fact 2:
Alan Perlis
is someone who had a significant role in
ALGOL
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 23rd 2013, 09:24:57
I know from locally stored knowledge that:
Fact 9:
Alan Perlis
is a
author
([fact: ["376609711@trueknowledge.com"]])
Fact 9
is true at
May 23rd 2013, 09:24:57
([unknown object])
