I know from locally stored knowledge that:
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:
Stephen Grover Cleveland
is married to
Frances Folsom Cleveland
([fact: ["137543360@trueknowledge.com"]])
By calculation (generator: ["symmetric1@trueknowledge.com"]) I know that:
Fact 1
is true for
1886 - 1908
By calculation (generator: ["moregeneral4@trueknowledge.com"]) I know that:
Fact 3:
Stephen Grover Cleveland
is someone who married
Frances Folsom Cleveland
By calculation (generator: ["transitive_action_from_complete_relation@trueknowledge.com"]) I know that:
Fact 3
is an action which happened on
1886
I know from locally stored knowledge that:
is someone who married
is the transitive action relating to
is married to
([fact: ["131036618@trueknowledge.com"]])
treat as symmetric
applies to
is married to
([fact: ["230645930@trueknowledge.com"]])
Fact 4:
Frances Folsom Cleveland
is married to
Stephen Grover Cleveland
([fact: ["157608765@trueknowledge.com"]])
Fact 4
is true for
1886 - 1908
([fact: ["637131192@trueknowledge.com"]])
Fact 5:
Frances Folsom Cleveland
is not married to
Stephen Grover Cleveland
([fact: ["637131232@trueknowledge.com"]])
Fact 5
is true for
the beginning of time - 1886
([fact: ["637131236@trueknowledge.com"]])
Therefore (generator: ["symmetric2@trueknowledge.com"]):
Fact 6:
Stephen Grover Cleveland
is not married to
Frances Folsom Cleveland
By calculation (generator: ["symmetric2@trueknowledge.com"]) I know that:
Fact 6
is true for
the beginning of time - 1886
By calculation (generator: ["strictequal1@trueknowledge.com"]) I know that:
1886
is strictly equal to
1886
By calculation (generator: ["fact_that_became_true_on@trueknowledge.com"]) I know that:
the fact 137543360@trueknowledge.com
is a fact that became true on
1886
By calculation (generator: ["same_as_or_general_form_of_relation@trueknowledge.com"]) I know that:
1886
is the same as or a more general form of
1886
I know from locally stored knowledge that:
March 18th 1837
is the birthdate of
Stephen Grover Cleveland
([fact: ["1143406@trueknowledge.com"]])
By calculation (generator: ["human_age@trueknowledge.com"]) I know that:
Fact 7:
between 48 years and 10 months and 49 years and 9 months old
is the age of
Stephen Grover Cleveland
Fact 7
is true at
1886
Fact 7:
between 48 years and 10 months and 49 years and 9 months old
is a
age
Fact 7:
between 48 years and 10 months and 49 years and 9 months old
applies to
Stephen Grover Cleveland
Fact 7
is true at
1886