I know from locally stored knowledge that:
marry
is the intransitive action relating to the transitive action
is someone who married
([fact: ["131036567@trueknowledge.com"]])
is someone who married
is a more general form of
is married to
([fact: ["148234406@trueknowledge.com"]])
permanent
applies to
is someone who married
([fact: ["123932186@trueknowledge.com"]])
Fact 1:
Tom Cruise
is married to
Mimi Rogers
([fact: ["135263245@trueknowledge.com"]])
Fact 1
is true for
1987 - 1990
([fact: ["1012658790@trueknowledge.com"]])
By calculation (generator: ["moregeneral4@trueknowledge.com"]) I know that:
Tom Cruise
is someone who married
Mimi Rogers
I know from locally stored knowledge that:
Fact 3:
Tom Cruise
is married to
Nicole Kidman
([fact: ["135261923@trueknowledge.com"]])
Fact 3
is true for
1990 - 2001
([fact: ["1012658794@trueknowledge.com"]])
By calculation (generator: ["moregeneral4@trueknowledge.com"]) I know that:
Tom Cruise
is someone who married
Nicole Kidman
I know from locally stored knowledge that:
Fact 5:
Tom Cruise
is married to
Katie Holmes
([fact: ["135263247@trueknowledge.com"]])
Fact 5
is true for
2006 onwards
([fact: ["1012658798@trueknowledge.com"]])
Fact 5
is true for
November 18th 2006 onwards
([fact: ["166544511@trueknowledge.com"]])
By calculation (generator: ["moregeneral4@trueknowledge.com"]) I know that:
Tom Cruise
is someone who married
Katie Holmes
By calculation (generator: ["intransitive_action_from_incomplete_transitive@trueknowledge.com"]) I know that:
Fact 8:
Tom Cruise
is something which did the intransitive action
marry
By calculation (generator: ["happened_on4@trueknowledge.com"]) I know that:
Fact 8
is an action which happened on
1987
Fact 8
is an action which happened on
1990
Fact 8
is an action which happened on
2006
Fact 8
is an action which happened on
November 18th 2006
I know from locally stored knowledge that:
Fact 9:
Tom Cruise
is not married to
Mimi Rogers
([fact: ["166544527@trueknowledge.com"]])
Fact 9
is true for
the beginning of time - 1987
([fact: ["488593304@trueknowledge.com"]])
By calculation (generator: ["strictequal1@trueknowledge.com"]) I know that:
1987
is strictly equal to
1987
By calculation (generator: ["fact_that_became_true_on@trueknowledge.com"]) I know that:
the fact 135263245@trueknowledge.com
is a fact that became true on
1987
I know from locally stored knowledge that:
Fact 10:
Tom Cruise
is not married to
Nicole Kidman
([fact: ["166544539@trueknowledge.com"]])
Fact 10
is true for
the beginning of time - 1990
([fact: ["488593588@trueknowledge.com"]])
By calculation (generator: ["strictequal1@trueknowledge.com"]) I know that:
1990
is strictly equal to
1990
By calculation (generator: ["fact_that_became_true_on@trueknowledge.com"]) I know that:
the fact 135261923@trueknowledge.com
is a fact that became true on
1990
I know from locally stored knowledge that:
Fact 11:
Tom Cruise
is not married to
Katie Holmes
([fact: ["488593732@trueknowledge.com"]])
Fact 11
is true for
the beginning of time - 2006
([fact: ["488593876@trueknowledge.com"]])
By calculation (generator: ["symmetric2@trueknowledge.com"]) I know that:
Fact 11
is true for
the beginning of time - November 18th 2006
By calculation (generator: ["strictequal1@trueknowledge.com"]) I know that:
2006
is strictly equal to
2006
By calculation (generator: ["fact_that_became_true_on@trueknowledge.com"]) I know that:
the fact 135263247@trueknowledge.com
is a fact that became true on
2006
I know from locally stored knowledge that:
treat as symmetric
applies to
is married to
([fact: ["230645930@trueknowledge.com"]])
Fact 12:
Katie Holmes
is not married to
Tom Cruise
([fact: ["123899477@trueknowledge.com"]])
Fact 12
is true for
the beginning of time - November 18th 2006
([fact: ["123899478@trueknowledge.com"]])
By calculation (generator: ["strictequal1@trueknowledge.com"]) I know that:
November 18th 2006
is strictly equal to
November 18th 2006
By calculation (generator: ["fact_that_became_true_on@trueknowledge.com"]) I know that:
the fact 135263247@trueknowledge.com
is a fact that became true on
November 18th 2006
Facts
Show facts
