I know from locally stored knowledge that:
Fact 1:
Tom Cruise
is married to
Mimi Rogers
([fact: ["135263245@trueknowledge.com"]])
Fact 1
is true for
1987 - 1990
([fact: ["1012658790@trueknowledge.com"]])
Fact 3:
Tom Cruise
is not married to
Mimi Rogers
([fact: ["166544527@trueknowledge.com"]])
Fact 3
is true for
the beginning of time - 1987
([fact: ["488593304@trueknowledge.com"]])
By calculation (generator: ["rightunique2@trueknowledge.com"]) I know that:
Fact 3
is true for
1990 - 2001
By calculation (generator: ["strictequal1@trueknowledge.com"]) I know that:
the fact 166544527@trueknowledge.com
is strictly equal to
the fact 166544527@trueknowledge.com
I know from locally stored knowledge that:
right unique
applies to
is married to
([fact: ["1131455@trueknowledge.com"]])
right object has variable accuracy
not applies to
is married to
([fact: ["1152761@trueknowledge.com"]])
Fact 6:
Tom Cruise
is married to
Nicole Kidman
([fact: ["135261923@trueknowledge.com"]])
Fact 6
is true for
1990 - 2001
([fact: ["1012658794@trueknowledge.com"]])
Therefore (generator: ["strictequal1@trueknowledge.com"]):
Nicole Kidman
is not strictly equal to
Mimi Rogers
By calculation (generator: ["strictequal1@trueknowledge.com"]) I know that:
1987
is strictly equal to
1987
1990
is strictly equal to
1990
1987 - 1990
is strictly equal to
1987 - 1990
By calculation (generator: ["completetimperiod5@trueknowledge.com"]) I know that:
the fact 135263245@trueknowledge.com
is true for the complete timeperiod
1987 - 1990
Adding…
