By calculation (generator: ["now@trueknowledge.com"]) I know that:
The current time is February 14th 2012, 07:54:45
I know from locally stored knowledge that:
Fact 1:
Leonhard Euler
is someone who taught
Joseph Louis Lagrange
([fact: ["425770108@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, 07:54:45
I know from locally stored knowledge that:
Joseph Louis Lagrange
is a
person
([fact: ["18461033@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:
Joseph Louis Lagrange
is a
human being, organisation or other legal person
I know from locally stored knowledge that:
permanent
applies to
is someone who taught
([fact: ["162431826@trueknowledge.com"]])
Adding…
