By calculation (generator: ["now@trueknowledge.com"]) I know that:
The current time is May 23rd 2013, 17:09:16
I know from locally stored knowledge that:
is majorly involved in
is a more general form of
is someone with a major role in the movie
([fact: ["1139082402@trueknowledge.com"]])
is someone who had a significant role in
is a more general form of
is a star of
([fact: ["2068052494@trueknowledge.com"]])
permanent
applies to
is someone who had a significant role in
([fact: ["1230546550@trueknowledge.com"]])
Robin Williams
is a star of
Popeye
([fact: ["130667839@trueknowledge.com"]])
By calculation (generator: ["moregeneral4@trueknowledge.com"]) I know that:
Robin Williams
is someone who had a significant role in
Popeye
I know from locally stored knowledge that:
Popeye
is a
film
([fact: ["130667847@trueknowledge.com"]])
By calculation (generator: ["major_role_in_film2@trueknowledge.com"]) I know that:
Fact 1:
Robin Williams
is someone with a major role in the movie
Popeye
By calculation (generator: ["perm5@trueknowledge.com"]) I know that:
Fact 1
is true for
all time
I know from locally stored knowledge that:
permanent
applies to
is someone with a major role in the movie
([fact: ["1138927646@trueknowledge.com"]])
By calculation (generator: ["moregeneral1@trueknowledge.com"]) I know that:
Fact 2:
Robin Williams
is majorly involved in
Popeye
Fact 2
is true for
all time
By calculation (generator: ["timeperiodtopoint@trueknowledge.com"]) I know that:
Fact 2
is true at
May 23rd 2013, 17:09:16
I know from locally stored knowledge that:
Fact 3:
Robin Williams
is a
musician
([fact: ["700409844@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
May 23rd 2013, 17:09:16
I know from locally stored knowledge that:
trumpet player
is a subclass of
musician
([fact: ["647891140@trueknowledge.com"]])
permanent
applies to
trumpet player
([fact: ["123902990@trueknowledge.com"]])
By calculation (generator: ["permanent2@trueknowledge.com"]) I know that:
permanent
applies to
musician
