Unsharpened Factoids
Logical form
[〈det (plur person.n)〉 have.v 〈det king.n〉]
Learned by reading
See source sentences for this factoid.
Logical form
[〈det person.n〉 have.v 〈det king.n〉]
Learned by reading
See source sentences for this factoid.
Logical form
[〈det male.n〉 have.v 〈det king.n〉]
Learned by reading
See source sentences for this factoid.
Logical form
[〈det king.n〉 undergo.v 〈det death.n〉]
Learned by reading
See source sentences for this factoid.
Logical form
[〈det male.n〉 become.v (k king.n)]
Learned by reading
See source sentences for this factoid.
Logical form
[〈det king.n〉 have.v 〈det son.n〉]
Learned by reading
See source sentences for this factoid.
Logical form
[〈det language.n〉 have.v 〈det king.n〉]
Learned by reading
See source sentences for this factoid.
Logical form
[〈det king.n〉 have.v 〈det reign.n〉]
Learned by reading
See source sentences for this factoid.
Logical form
[〈det king.n〉 have.v 〈det daughter.n〉]
Learned by reading
See source sentences for this factoid.
Logical form
[〈det king.n〉 have.v 〈det death.n〉]
Learned by reading
See source sentences for this factoid.
A male can be a son of a king.
Logical form
[〈det male.n〉 (:a 〈det son.n〉 (:p of.p 〈det king.n〉))]
Learned by reading
See source sentences for this factoid.
Sharpened Factoids
Logical form
(many x: [x king.n]
(some e: [[x | e] enduring]
(some y
[[y reign-of.n x] ** e])))Sharpened from
Click on a source factoid to see the original English sentences it was learned from.
Many kings have a female as a daughter.
Logical form
(many x: [x king.n]
(some e:
(some y: [y female.n]
[[x (have-as daughter.n) y] ** e])))Sharpened from
Click on a source factoid to see the original English sentences it was learned from.
Many kings have a death as a part.
Logical form
(many x: [x king.n]
(some e: [[x | e] enduring]
(some y: [y death.n]
[[x have-as-part.v y] ** e])))Sharpened from
Click on a source factoid to see the original English sentences it was learned from.