By calculation (generator: ["now@trueknowledge.com"]) I know that:
The current time is February 14th 2012, 14:15:03
I know from locally stored knowledge that:
Fact 1:
Angelina Jolie
is not married to
Brad Pitt
([fact: ["123985035@trueknowledge.com"]])
By calculation (generator: ["neg_left_coincident_attrib@trueknowledge.com"]) I know that:
Fact 1
is true for
2005 onwards
By calculation (generator: ["timeperiodtotimepoint2@trueknowledge.com"]) I know that:
Fact 1
is true for all of timepoint
February 14th 2012, 14:15:03
I know from locally stored knowledge that:
married
is the left coincident attribute of
is married to
([fact: ["1131861@trueknowledge.com"]])
Fact 2:
married
not applies to
Angelina Jolie
([fact: ["350638183@trueknowledge.com"]])
Fact 2
is true for
2005 onwards
([fact: ["350639415@trueknowledge.com"]])
Adding…
