I know from locally stored knowledge that:
marry
is the intransitive action relating to
married
([fact: ["131036541@trueknowledge.com"]])
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:
David Beckham
is married to
Victoria Beckham
([fact: ["151621573@trueknowledge.com"]])
Fact 1
is true for
July 4th 1999 onwards
([fact: ["642565172@trueknowledge.com"]])
By calculation (generator: ["symmetric1@trueknowledge.com"]) I know that:
Fact 1
is true for
1999 onwards
By calculation (generator: ["moregeneral4@trueknowledge.com"]) I know that:
David Beckham
is someone who married
Victoria Beckham
By calculation (generator: ["intransitive_action_from_incomplete_transitive@trueknowledge.com"]) I know that:
Fact 4:
David Beckham
is something which did the intransitive action
marry
By calculation (generator: ["happened_on4@trueknowledge.com"]) I know that:
Fact 4
is an action which happened on
July 4th 1999
Fact 4
is an action which happened on
1999
I know from locally stored knowledge that:
treat as symmetric
applies to
is married to
([fact: ["230645930@trueknowledge.com"]])
Fact 5:
Victoria Beckham
is not married to
David Beckham
([fact: ["19602234@trueknowledge.com"]])
Fact 5
is true for
the beginning of time - 1999
([fact: ["2219556564@trueknowledge.com"]])
Fact 5
is true for
the beginning of time - July 4th 1999
([fact: ["19602235@trueknowledge.com"]])
Therefore (generator: ["symmetric2@trueknowledge.com"]):
Fact 6:
David Beckham
is not married to
Victoria Beckham
By calculation (generator: ["symmetric2@trueknowledge.com"]) I know that:
Fact 6
is true for
the beginning of time - 1999
Fact 6
is true for
the beginning of time - July 4th 1999
By calculation (generator: ["strictequal1@trueknowledge.com"]) I know that:
July 4th 1999
is strictly equal to
July 4th 1999
By calculation (generator: ["fact_that_became_true_on@trueknowledge.com"]) I know that:
the fact 151621573@trueknowledge.com
is a fact that became true on
July 4th 1999
By calculation (generator: ["became_from_intransitive@trueknowledge.com"]) I know that:
Fact 7:
David Beckham
became
married
Fact 7
is an action which happened on
July 4th 1999
Fact 7
is an action which happened on
1999
I know from locally stored knowledge that:
May 2nd 1975
is the birthdate of
David Beckham
([fact: ["18340574@trueknowledge.com"]])
By calculation (generator: ["human_age@trueknowledge.com"]) I know that:
Fact 8:
24 years, 2 months and 2 days old
is the age of
David Beckham
Fact 8
is true at
July 4th 1999
By calculation (generator: ["applies_at_timepoint@trueknowledge.com"]) I know that:
Fact 8
is true at
1999
By calculation (generator: ["human_age@trueknowledge.com"]) I know that:
Fact 8:
24 years, 2 months and 2 days old
is a
age
Fact 8:
24 years, 2 months and 2 days old
applies to
David Beckham
Fact 8
is true at
July 4th 1999
I know from locally stored knowledge that:
Fact 10:
Victoria Beckham
is married to
David Beckham
([fact: ["19602232@trueknowledge.com"]])
Fact 10
is true for
1999 onwards
([fact: ["2219556552@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 151621573@trueknowledge.com
is a fact that became true on
1999
By calculation (generator: ["ismoreaccurate1@trueknowledge.com"]) I know that:
July 4th 1999
is a more accurate version of
1999
Facts
Show facts
