By calculation (generator: ["now@trueknowledge.com"]) I know that:
The current time is May 19th 2013, 08:21:59
I know from locally stored knowledge that:
Fact 1:
Brian Kernighan
is a key person or group involved in the invention of
C
([fact: ["142018125@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
May 19th 2013, 08:21:59
I know from locally stored knowledge that:
male person
is specified by
person and male
([fact: ["1155190@trueknowledge.com"]])
Fact 2:
Brian Kernighan
is a
person
([fact: ["18416241@trueknowledge.com"]])
By calculation (generator: ["permanent@trueknowledge.com"]) I know that:
Fact 2
is true for
all time
I know from locally stored knowledge that:
permanent
applies to
person
([fact: ["1131338@trueknowledge.com"]])
Fact 3:
male
applies to
Brian Kernighan
([fact: ["19644929@trueknowledge.com"]])
By calculation (generator: ["ap@trueknowledge.com"]) I know that:
Fact 3
is true for
all time
I know from locally stored knowledge that:
permanent
applies to
male
([fact: ["1132164@trueknowledge.com"]])
By calculation (generator: ["tpintersect@trueknowledge.com"]) I know that:
all time
is the timeperiod intersection of
all time and all time
By calculation (generator: ["instancespecifiedby@trueknowledge.com"]) I know that:
Fact 4:
Brian Kernighan
is a
male person
Fact 4
is true for
all time
By calculation (generator: ["timeperiodtopoint@trueknowledge.com"]) I know that:
Fact 4
is true at
May 19th 2013, 08:21:59
I know from locally stored knowledge that:
permanent
applies to
is a key person or group involved in the invention of
([fact: ["127725872@trueknowledge.com"]])
is a key person or group involved in the invention of
is a more general form of
invented the
([fact: ["243064294@trueknowledge.com"]])
Fact 5:
Dennis Ritchie
invented the
C
([fact: ["234471170@trueknowledge.com"]])
By calculation (generator: ["perm5@trueknowledge.com"]) I know that:
Fact 5
is true for
all time
By calculation (generator: ["moregeneral4@trueknowledge.com"]) I know that:
Fact 6:
Dennis Ritchie
is a key person or group involved in the invention of
C
By calculation (generator: ["moregeneral1@trueknowledge.com"]) I know that:
Fact 6
is true for
all time
By calculation (generator: ["timeperiodtopoint@trueknowledge.com"]) I know that:
Fact 6
is true at
May 19th 2013, 08:21:59
I know from locally stored knowledge that:
Fact 7:
Dennis Ritchie
is a
person
([fact: ["18342572@trueknowledge.com"]])
By calculation (generator: ["permanent@trueknowledge.com"]) I know that:
Fact 7
is true for
all time
I know from locally stored knowledge that:
Fact 8:
male
applies to
Dennis Ritchie
([fact: ["19654575@trueknowledge.com"]])
By calculation (generator: ["ap@trueknowledge.com"]) I know that:
Fact 8
is true for
all time
By calculation (generator: ["instancespecifiedby@trueknowledge.com"]) I know that:
Fact 4:
Dennis Ritchie
is a
male person
Fact 4
is true for
all time
By calculation (generator: ["timeperiodtopoint@trueknowledge.com"]) I know that:
Fact 4
is true at
May 19th 2013, 08:21:59
I know from locally stored knowledge that:
permanent
applies to
invented the
([fact: ["123876565@trueknowledge.com"]])
