By calculation (generator: ["now@trueknowledge.com"]) I know that:
The current time is May 26th 2013, 00:29:00
I know from locally stored knowledge that:
Fact 1:
Victoria Tennant
is married to
Steve Martin
([fact: ["135276538@trueknowledge.com"]])
Fact 1
is true for
1986 - 1994
([fact: ["135276539@trueknowledge.com"]])
Fact 1
is true for
March 5th 2010 onwards
([fact: ["696096040@trueknowledge.com"]])
female
applies to
Victoria Tennant
([fact: ["19857698@trueknowledge.com"]])
By calculation (generator: ["wife2@trueknowledge.com"]) I know that:
Fact 2:
Victoria Tennant
is the wife of
Steve Martin
Fact 2
is true for
1986 - 1994
Fact 2
is true for
March 5th 2010 onwards
By calculation (generator: ["timeperiodtopoint@trueknowledge.com"]) I know that:
Fact 2
is true at
May 26th 2013, 00:29:00
I know from locally stored knowledge that:
Victoria Tennant
is a
person
([fact: ["18858424@trueknowledge.com"]])
Therefore (generator: ["strictequal1@trueknowledge.com"]):
person
is not strictly equal to
unspecified member
