By calculation (generator: ["now@trueknowledge.com"]) I know that:
The current time is June 20th 2013, 02:23:01
I know from locally stored knowledge that:
Travis Bacon
is a child of
Kyra Sedgwick
([fact: ["136998145@trueknowledge.com"]])
male
applies to
Travis Bacon
([fact: ["136998143@trueknowledge.com"]])
By calculation (generator: ["son1@trueknowledge.com"]) I know that:
Fact 1:
Travis Bacon
is a son of
Kyra Sedgwick
Fact 1
is true for
all time
By calculation (generator: ["timeperiodtopoint@trueknowledge.com"]) I know that:
Fact 1
is true at
June 20th 2013, 02:23:01
I know from locally stored knowledge that:
Travis Bacon
is a
person
([fact: ["136998146@trueknowledge.com"]])
Therefore (generator: ["strictequal1@trueknowledge.com"]):
person
is not strictly equal to
unspecified member
