By calculation (generator: ["now@trueknowledge.com"]) I know that:
The current time is May 24th 2013, 12:05:25
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:
J. C. Watts
is a company director of
BNSF Railway
([fact: ["671000708@trueknowledge.com"]])
Fact 1
is true for
2008 onwards
([fact: ["686282540@trueknowledge.com"]])
By calculation (generator: ["moregeneral4@trueknowledge.com"]) I know that:
Fact 2:
J. C. Watts
is someone who had a significant role in
BNSF Railway
By calculation (generator: ["moregeneral1@trueknowledge.com"]) I know that:
Fact 2
is true for
2008 onwards
By calculation (generator: ["timeperiodtopoint@trueknowledge.com"]) I know that:
Fact 2
is true at
May 24th 2013, 12:05:25
I know from locally stored knowledge that:
Fact 3:
J. C. Watts
is a
American footballer
([fact: ["159852913@trueknowledge.com"]])
By calculation (generator: ["iaif1@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
May 24th 2013, 12:05:25
I know from locally stored knowledge that:
Fact 4:
J. C. Watts
is a
quarterback
([fact: ["409294703@trueknowledge.com"]])
By calculation (generator: ["permanent@trueknowledge.com"]) I know that:
Fact 4
is true for
all time
I know from locally stored knowledge that:
quarterback
is a subclass of
American footballer
([fact: ["367499063@trueknowledge.com"]])
permanent
applies to
quarterback
([fact: ["367499067@trueknowledge.com"]])
