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:
Adolf Hitler
is married to
Eva Braun
([fact: ["137603050@trueknowledge.com"]])
By calculation (generator: ["symmetric1@trueknowledge.com"]) I know that:
Fact 1
is true for
April 29th 1945 - April 30th 1945
By calculation (generator: ["moregeneral4@trueknowledge.com"]) I know that:
Adolf Hitler
is someone who married
Eva Braun
By calculation (generator: ["intransitive_action_from_incomplete_transitive@trueknowledge.com"]) I know that:
Fact 3:
Adolf Hitler
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
April 29th 1945
I know from locally stored knowledge that:
treat as symmetric
applies to
is married to
([fact: ["230645930@trueknowledge.com"]])
Fact 4:
Eva Braun
is married to
Adolf Hitler
([fact: ["119576438@trueknowledge.com"]])
Fact 4
is true for
April 29th 1945 - April 30th 1945
([fact: ["119576439@trueknowledge.com"]])
Fact 5:
Adolf Hitler
is not married to
Eva Braun
([fact: ["151624949@trueknowledge.com"]])
By calculation (generator: ["symmetric2@trueknowledge.com"]) I know that:
Fact 5
is true for
the beginning of time - April 29th 1945
I know from locally stored knowledge that:
Fact 6:
Eva Braun
is not married to
Adolf Hitler
([fact: ["119576440@trueknowledge.com"]])
Fact 6
is true for
the beginning of time - April 29th 1945
([fact: ["119576441@trueknowledge.com"]])
By calculation (generator: ["strictequal1@trueknowledge.com"]) I know that:
April 29th 1945
is strictly equal to
April 29th 1945
By calculation (generator: ["fact_that_became_true_on@trueknowledge.com"]) I know that:
the fact 137603050@trueknowledge.com
is a fact that became true on
April 29th 1945
Adding…
