I know from locally stored knowledge that:
Katie Holmes
is the wife of
Tom Cruise
([fact: ["124103529@trueknowledge.com"]])
Mimi Rogers
is the wife of
Tom Cruise
([fact: ["373458971@trueknowledge.com"]])
Fact 1:
Nicole Kidman
is married to
Tom Cruise
([fact: ["135261928@trueknowledge.com"]])
Fact 1
is true for
January 13th 2009 onwards
([fact: ["647912896@trueknowledge.com"]])
female
applies to
Nicole Kidman
([fact: ["19870867@trueknowledge.com"]])
By calculation (generator: ["wife2@trueknowledge.com"]) I know that:
Fact 2:
Nicole Kidman
is the wife of
Tom Cruise
Fact 2
is true for
January 13th 2009 onwards