I know from locally stored knowledge that:
Fact 1:
Eva Macapagal
is married to
Diosdado Macapagal
([fact: ["137614979@trueknowledge.com"]])
By calculation (generator: ["symmetric1@trueknowledge.com"]) I know that:
Fact 1
is true for
1946 - 1997
I know from locally stored knowledge that:
treat as symmetric
applies to
is married to
([fact: ["230645930@trueknowledge.com"]])
Fact 2:
Diosdado Macapagal
is married to
Eva Macapagal
([fact: ["147591737@trueknowledge.com"]])
Fact 2
is true for
1946 - 1997
([fact: ["1015637742@trueknowledge.com"]])
female
applies to
Eva Macapagal
([fact: ["126753660@trueknowledge.com"]])
By calculation (generator: ["wife2@trueknowledge.com"]) I know that:
Fact 3:
Eva Macapagal
is the wife of
Diosdado Macapagal
Fact 3
is true for
1946 - 1997
I know from locally stored knowledge that:
Eva Macapagal
is a
person
([fact: ["126753644@trueknowledge.com"]])
person
is a subclass of
human being, organisation or other legal person
([fact: ["1131949@trueknowledge.com"]])
By calculation (generator: ["instance_agreement_making_entity@trueknowledge.com"]) I know that:
Eva Macapagal
is a
human being, organisation or other legal person
I know from locally stored knowledge that:
Fact 4:
Diosdado Macapagal
is married to
Purita Macapagal
([fact: ["2603887534@trueknowledge.com"]])
Fact 4
is true for
1938 - 1943
([fact: ["2603887538@trueknowledge.com"]])
By calculation (generator: ["symmetric1@trueknowledge.com"]) I know that:
Fact 5:
Purita Macapagal
is married to
Diosdado Macapagal
Fact 5
is true for
1938 - 1943
I know from locally stored knowledge that:
female
applies to
Purita Macapagal
([fact: ["2495539886@trueknowledge.com"]])
By calculation (generator: ["wife2@trueknowledge.com"]) I know that:
Fact 3:
Purita Macapagal
is the wife of
Diosdado Macapagal
Fact 3
is true for
1938 - 1943
I know from locally stored knowledge that:
Purita Macapagal
is a
person
([fact: ["2495539854@trueknowledge.com"]])
By calculation (generator: ["instance_agreement_making_entity@trueknowledge.com"]) I know that:
Purita Macapagal
is a
human being, organisation or other legal person
