By calculation (generator: ["now@trueknowledge.com"]) I know that:
The current time is June 20th 2013, 04:33:56
I know from locally stored knowledge that:
is someone who had a significant role in
is a more general form of
is a company director of
([fact: ["1230884974@trueknowledge.com"]])
permanent
applies to
is someone who had a significant role in
([fact: ["1230546550@trueknowledge.com"]])
Fact 1:
Sepp Blatter
is a company director of
FIFA
([fact: ["149420809@trueknowledge.com"]])
Fact 1
is true for
June 8th 1998 onwards
([fact: ["150782137@trueknowledge.com"]])
By calculation (generator: ["moregeneral4@trueknowledge.com"]) I know that:
Fact 2:
Sepp Blatter
is someone who had a significant role in
FIFA
By calculation (generator: ["moregeneral1@trueknowledge.com"]) I know that:
Fact 2
is true for
June 8th 1998 onwards
By calculation (generator: ["timeperiodtopoint@trueknowledge.com"]) I know that:
Fact 2
is true at
June 20th 2013, 04:33:56
I know from locally stored knowledge that:
Fact 3:
Sepp Blatter
is a
official
([fact: ["1101434398@trueknowledge.com"]])
By calculation (generator: ["permanent@trueknowledge.com"]) I know that:
Fact 3
is true for
all time
By calculation (generator: ["timeperiodtopoint@trueknowledge.com"]) I know that:
Fact 3
is true at
June 20th 2013, 04:33:56
I know from locally stored knowledge that:
permanent
applies to
official
([fact: ["123891455@trueknowledge.com"]])
