By calculation (generator: ["now@trueknowledge.com"]) I know that:
The current time is June 19th 2013, 02:21:05
I know from locally stored knowledge that:
treat as symmetric
applies to
is married to
([fact: ["230645930@trueknowledge.com"]])
married
is the left coincident attribute of
is married to
([fact: ["1131861@trueknowledge.com"]])
Fact 1:
married
not applies to
Justin Timberlake
([fact: ["123978936@trueknowledge.com"]])
Fact 1
is true for
the beginning of time onwards
([fact: ["123978937@trueknowledge.com"]])
Therefore (generator: ["neg_left_coincident_attrib@trueknowledge.com"]):
Fact 2:
Justin Timberlake
is not married to
Jessica Biel
By calculation (generator: ["neg_left_coincident_attrib@trueknowledge.com"]) I know that:
Fact 2
is true for
the beginning of time onwards
Therefore (generator: ["symmetric2@trueknowledge.com"]):
Fact 3:
Jessica Biel
is not married to
Justin Timberlake
By calculation (generator: ["symmetric2@trueknowledge.com"]) I know that:
Fact 3
is true for
the beginning of time onwards
Therefore (generator: ["marriedtoeachother2@trueknowledge.com"]):
Fact 4:
married to each other
not applies to
Jessica Biel and Justin Timberlake
By calculation (generator: ["marriedtoeachother2@trueknowledge.com"]) I know that:
Fact 4
is true for
the beginning of time onwards
By calculation (generator: ["timeperiodtotimepoint2@trueknowledge.com"]) I know that:
Fact 4
is true for all of timepoint
June 19th 2013, 02:21:05
