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:
Henry VIII of England
is married to
Anne Boleyn
([fact: ["19994977@trueknowledge.com"]])
Fact 1
is true for
January 25th 1533 - May 19th 1536
([fact: ["123924784@trueknowledge.com"]])
By calculation (generator: ["symmetric1@trueknowledge.com"]) I know that:
Fact 1
is true for
1533 - 1536
By calculation (generator: ["moregeneral4@trueknowledge.com"]) I know that:
Fact 4:
Henry VIII of England
is someone who married
Anne Boleyn
By calculation (generator: ["transitive_action_from_complete_relation@trueknowledge.com"]) I know that:
Fact 4
is an action which happened on
January 1533
Fact 4
is an action which happened on
January 25th 1533
Fact 4
is an action which happened on
1533
I know from locally stored knowledge that:
is someone who married
is the transitive action relating to
is married to
([fact: ["131036618@trueknowledge.com"]])
Fact 5:
Henry VIII of England
is not married to
Anne Boleyn
([fact: ["19994979@trueknowledge.com"]])
Fact 5
is true for
the beginning of time - January 25th 1533
([fact: ["123924785@trueknowledge.com"]])
By calculation (generator: ["symmetric2@trueknowledge.com"]) I know that:
Fact 5
is true for
the beginning of time - 1533
By calculation (generator: ["strictequal1@trueknowledge.com"]) I know that:
January 25th 1533
is strictly equal to
January 25th 1533
By calculation (generator: ["fact_that_became_true_on@trueknowledge.com"]) I know that:
the fact 19994977@trueknowledge.com
is a fact that became true on
January 25th 1533
I know from locally stored knowledge that:
is the same as or a more general form of
is a more general form of
is a less accurate version of
([fact: ["147989918@trueknowledge.com"]])
permanent
applies to
is the same as or a more general form of
([fact: ["139871293@trueknowledge.com"]])
reverse form preferred
applies to
is a less accurate version of
([fact: ["1145065@trueknowledge.com"]])
is a more accurate version of
is the reverse relation of
is a less accurate version of
([fact: ["1145066@trueknowledge.com"]])
By calculation (generator: ["more_accurate_version5@trueknowledge.com"]) I know that:
Fact 6:
January 25th 1533
is a more accurate version of
1533
Fact 6:
January 25th 1533
is a more accurate version of
January 1533
By calculation (generator: ["perm5@trueknowledge.com"]) I know that:
Fact 6
is true for
all time
I know from locally stored knowledge that:
permanent
applies to
is a more accurate version of
([fact: ["1145006@trueknowledge.com"]])
By calculation (generator: ["reverserelation1@trueknowledge.com"]) I know that:
Fact 7:
January 1533
is a less accurate version of
January 25th 1533
Fact 7
is true for
all time
By calculation (generator: ["moregeneral4@trueknowledge.com"]) I know that:
Fact 4:
January 1533
is the same as or a more general form of
January 25th 1533
By calculation (generator: ["same_as_or_general_form_of_relation@trueknowledge.com"]) I know that:
January 25th 1533
is the same as or a more general form of
January 25th 1533
I know from locally stored knowledge that:
treat as symmetric
applies to
is married to
([fact: ["230645930@trueknowledge.com"]])
Fact 8:
Anne Boleyn
is married to
Henry VIII of England
([fact: ["157342745@trueknowledge.com"]])
Fact 8
is true for
1533 - 1536
([fact: ["1215534170@trueknowledge.com"]])
Fact 9:
Anne Boleyn
is not married to
Henry VIII of England
([fact: ["1215534174@trueknowledge.com"]])
Fact 9
is true for
the beginning of time - 1533
([fact: ["1215534178@trueknowledge.com"]])
By calculation (generator: ["strictequal1@trueknowledge.com"]) I know that:
1533
is strictly equal to
1533
By calculation (generator: ["fact_that_became_true_on@trueknowledge.com"]) I know that:
the fact 19994977@trueknowledge.com
is a fact that became true on
1533
By calculation (generator: ["same_as_or_general_form_of_relation@trueknowledge.com"]) I know that:
1533
is the same as or a more general form of
1533