By calculation (generator: ["now@trueknowledge.com"]) I know that:
The current time is February 13th 2012, 14:12:53
I know from locally stored knowledge that:
married
is the left coincident attribute of
is married to
([fact: ["1131861@trueknowledge.com"]])
Fact 1:
Charlie Sheen
is married to
Denise Richards
([fact: ["135263879@trueknowledge.com"]])
Fact 1
is true for
2002 - 2006
([fact: ["135263880@trueknowledge.com"]])
Fact 1
is true for
January 13th 2009 onwards
([fact: ["700689612@trueknowledge.com"]])
By calculation (generator: ["left_coinc_att@trueknowledge.com"]) I know that:
Fact 2:
married
applies to
Charlie Sheen
Fact 2
is true for
2002 - 2006
Fact 2
is true for
January 13th 2009 onwards
By calculation (generator: ["timeperiodtopoint@trueknowledge.com"]) I know that:
Fact 2
is true at
February 13th 2012, 14:12:53