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"]])
Ernest Hemingway
is married to
Pauline Pfeiffer
([fact: ["359940459@trueknowledge.com"]])
By calculation (generator: ["moregeneral4@trueknowledge.com"]) I know that:
Ernest Hemingway
is someone who married
Pauline Pfeiffer
I know from locally stored knowledge that:
Fact 1:
Pauline Pfeiffer
is a
person
([fact: ["125666418@trueknowledge.com"]])
By calculation (generator: ["permanent@trueknowledge.com"]) I know that:
Fact 1
is true for
all time
I know from locally stored knowledge that:
person
is a subclass of
entity that is capable of deliberate action
([fact: ["129969855@trueknowledge.com"]])
permanent
applies to
person
([fact: ["1131338@trueknowledge.com"]])
By calculation (generator: ["iaif1@trueknowledge.com"]) I know that:
Fact 2:
Pauline Pfeiffer
is a
entity that is capable of deliberate action
Fact 2
is true for
all time
I know from locally stored knowledge that:
Ernest Hemingway
is married to
Hadley Richardson
([fact: ["368225007@trueknowledge.com"]])
By calculation (generator: ["moregeneral4@trueknowledge.com"]) I know that:
Ernest Hemingway
is someone who married
Hadley Richardson
I know from locally stored knowledge that:
Fact 3:
Hadley Richardson
is a
person
([fact: ["18648170@trueknowledge.com"]])
By calculation (generator: ["permanent@trueknowledge.com"]) I know that:
Fact 3
is true for
all time
By calculation (generator: ["iaif1@trueknowledge.com"]) I know that:
Fact 2:
Hadley Richardson
is a
entity that is capable of deliberate action
Fact 2
is true for
all time
I know from locally stored knowledge that:
Ernest Hemingway
is married to
Martha Gellhorn
([fact: ["359940467@trueknowledge.com"]])
By calculation (generator: ["moregeneral4@trueknowledge.com"]) I know that:
Ernest Hemingway
is someone who married
Martha Gellhorn
I know from locally stored knowledge that:
Fact 5:
Martha Gellhorn
is a
person
([fact: ["18476198@trueknowledge.com"]])
By calculation (generator: ["permanent@trueknowledge.com"]) I know that:
Fact 5
is true for
all time
By calculation (generator: ["iaif1@trueknowledge.com"]) I know that:
Fact 2:
Martha Gellhorn
is a
entity that is capable of deliberate action
Fact 2
is true for
all time
I know from locally stored knowledge that:
Ernest Hemingway
is married to
Mary Welsh Hemingway
([fact: ["359940479@trueknowledge.com"]])
By calculation (generator: ["moregeneral4@trueknowledge.com"]) I know that:
Ernest Hemingway
is someone who married
Mary Welsh Hemingway
I know from locally stored knowledge that:
Fact 7:
Mary Welsh Hemingway
is a
person
([fact: ["18081840@trueknowledge.com"]])
By calculation (generator: ["permanent@trueknowledge.com"]) I know that:
Fact 7
is true for
all time
By calculation (generator: ["iaif1@trueknowledge.com"]) I know that:
Fact 2:
Mary Welsh Hemingway
is a
entity that is capable of deliberate action
Fact 2
is true for
all time
.jpg)
