Unsharpened Factoids
Logical form
[〈det person.n〉 have.v 〈det book.n〉]
Learned by reading
See source sentences for this factoid.
Logical form
[〈det person.n〉 read.v 〈det book.n〉]
Learned by reading
See source sentences for this factoid.
Logical form
[〈det person.n〉 write.v 〈det book.n〉]
Learned by reading
See source sentences for this factoid.
Logical form
[〈det person.n〉 love.v 〈det book.n〉]
Learned by reading
See source sentences for this factoid.
Logical form
[〈det person.n〉 buy.v 〈det book.n〉]
Learned by reading
See source sentences for this factoid.
Logical form
[〈det person.n〉 finish.v 〈det book.n〉]
Learned by reading
See source sentences for this factoid.
Logical form
[〈det person.n〉 like.v 〈det book.n〉]
Learned by reading
See source sentences for this factoid.
Logical form
[〈det book.n〉 have.v 〈det copy.n〉]
Learned by reading
See source sentences for this factoid.
Logical form
[〈a{n} book.n〉 by.p 〈det male.n〉]
Learned by reading
See source sentences for this factoid.
A person may have an (address book).
Logical form
[〈det person.n〉 have.v 〈det (nn address.n book.n)〉]
Learned by reading
See source sentences for this factoid.
Logical form
[〈det child.n〉 have.v 〈det (plur book.n)〉]
Learned by reading
See source sentences for this factoid.
Logical form
[〈det person.n〉 enjoy.v 〈det book.n〉]
Learned by reading
See source sentences for this factoid.
Logical form
[〈det male.n〉 write.v 〈det (plur book.n)〉]
Learned by reading
See source sentences for this factoid.
Logical form
[〈det book.n〉 have.v 〈det end.n〉]
Learned by reading
See source sentences for this factoid.
Sharpened Factoids
Logical form
(many x: [x book.n]
(some y: [y male.n]
(some e: [[x | e] enduring]
[[x created-by.v y] ** e])))Sharpened from
Click on a source factoid to see the original English sentences it was learned from.
Many books have an end as a part.
Logical form
(many x: [x book.n]
(some e: [[x | e] enduring]
(some y: [y end.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.