By calculation (generator: ["now@trueknowledge.com"]) I know that:
The current time is February 14th 2012, 13:11:12
I know from locally stored knowledge that:
married
is the left coincident attribute of
is married to
([fact: ["1131861@trueknowledge.com"]])
Fact 1:
married
not applies to
Jennifer Lopez
([fact: ["1111491138@trueknowledge.com"]])
Fact 1
is true for
the beginning of time - June 5th 2004
([fact: ["1111491142@trueknowledge.com"]])
Fact 1
is true for
July 19th 2011 onwards
([fact: ["2438873246@trueknowledge.com"]])
Therefore (generator: ["neg_left_coincident_attrib@trueknowledge.com"]):
Fact 2:
Jennifer Lopez
is not married to
George Lopez
By calculation (generator: ["neg_left_coincident_attrib@trueknowledge.com"]) I know that:
Fact 2
is true for
the beginning of time - June 5th 2004
Fact 2
is true for
July 19th 2011 onwards
By calculation (generator: ["timeperiodtotimepoint2@trueknowledge.com"]) I know that:
Fact 2
is true for all of timepoint
February 14th 2012, 13:11:12
Adding…
