By calculation (generator: ["now@trueknowledge.com"]) I know that:
The current time is February 14th 2012, 19:41:09
I know from locally stored knowledge that:
Fact 1:
Peter Lenkov
is someone who wrote the screenplay for
Demolition Man
([fact: ["233793027@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
February 14th 2012, 19:41:09
I know from locally stored knowledge that:
Peter Lenkov
is a
person
([fact: ["233793011@trueknowledge.com"]])
person
is a subclass of
human being, organisation or other legal person
([fact: ["1131949@trueknowledge.com"]])
By calculation (generator: ["instance_agreement_making_entity@trueknowledge.com"]) I know that:
Peter Lenkov
is a
human being, organisation or other legal person
I know from locally stored knowledge that:
permanent
applies to
is someone who wrote the screenplay for
([fact: ["123969181@trueknowledge.com"]])
Fact 2:
Daniel Waters
is someone who wrote the screenplay for
Demolition Man
([fact: ["401402531@trueknowledge.com"]])
By calculation (generator: ["perm5@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
February 14th 2012, 19:41:09
I know from locally stored knowledge that:
Daniel Waters
is a
person
([fact: ["19500803@trueknowledge.com"]])
By calculation (generator: ["instance_agreement_making_entity@trueknowledge.com"]) I know that:
Daniel Waters
is a
human being, organisation or other legal person