By calculation (generator: ["now@trueknowledge.com"]) I know that:
The current time is February 12th 2012, 09:09:47
I know from locally stored knowledge that:
Fact 1:
Stefano Eugene Maino
is the father of
Sonia Gandhi
([fact: ["579643924@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 12th 2012, 09:09:47
I know from locally stored knowledge that:
permanent
applies to
is the father of
([fact: ["1152920@trueknowledge.com"]])
Stefano Eugene Maino
is a
person
([fact: ["579631892@trueknowledge.com"]])
Therefore (generator: ["strictequal1@trueknowledge.com"]):
person
is not strictly equal to
unspecified member