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:
Reese Witherspoon
is married to
Ryan Phillippe
([fact: ["135275532@trueknowledge.com"]])
Fact 1
is true for
1999 - 2007
([fact: ["135275534@trueknowledge.com"]])
By calculation (generator: ["moregeneral4@trueknowledge.com"]) I know that:
Reese Witherspoon
is someone who married
Ryan Phillippe
By calculation (generator: ["intransitive_action_from_incomplete_transitive@trueknowledge.com"]) I know that:
Fact 3:
Reese Witherspoon
is something which did the intransitive action
marry
By calculation (generator: ["happened_on4@trueknowledge.com"]) I know that:
Fact 3
is an action which happened on
1999
I know from locally stored knowledge that:
Fact 4:
Reese Witherspoon
is not married to
Ryan Phillippe
([fact: ["575438948@trueknowledge.com"]])
Fact 4
is true for
the beginning of time - 1999
([fact: ["575439220@trueknowledge.com"]])
By calculation (generator: ["strictequal1@trueknowledge.com"]) I know that:
1999
is strictly equal to
1999
By calculation (generator: ["fact_that_became_true_on@trueknowledge.com"]) I know that:
the fact 135275532@trueknowledge.com
is a fact that became true on
1999