Unsharpened Factoids
Logical form
[〈det female.n〉 have.v 〈det top.n〉]
Learned by reading
See source sentences for this factoid.
Logical form
[〈det head.n〉 have.v 〈det top.n〉]
Learned by reading
See source sentences for this factoid.
Logical form
[〈det (plur lung.n)〉 have.v 〈det top.n〉]
Learned by reading
See source sentences for this factoid.
Logical form
[〈det list.n〉 have.v 〈det top.n〉]
Learned by reading
See source sentences for this factoid.
Logical form
[〈det page.n〉 have.v 〈det top.n〉]
Learned by reading
See source sentences for this factoid.
Logical form
[〈det (plur person.n)〉 have.v 〈det top.n〉]
Learned by reading
See source sentences for this factoid.
Logical form
[〈det hill.n〉 have.v 〈det top.n〉]
Learned by reading
See source sentences for this factoid.
A female may have a (tank top).
Logical form
[〈det female.n〉 have.v 〈det (nn tank.n top.n)〉]
Learned by reading
See source sentences for this factoid.
Logical form
[〈det (plur stair.n)〉 have.v 〈det top.n〉]
Learned by reading
See source sentences for this factoid.
Logical form
[〈det ticket.n〉 have.v 〈det top.n〉]
Learned by reading
See source sentences for this factoid.
Logical form
[〈det mountain.n〉 have.v 〈det top.n〉]
Learned by reading
See source sentences for this factoid.
Logical form
[〈det game.n〉 have.v 〈det top.n〉]
Learned by reading
See source sentences for this factoid.
Logical form
[〈det screen.n〉 have.v 〈det top.n〉]
Learned by reading
See source sentences for this factoid.
Sharpened Factoids
Many hills have a top as a part.
Logical form
(many x: [x hill.n]
(some e: [[x | e] enduring]
(some y: [y top.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.
Many stairs have a top as a part.
Logical form
(many x: [x stair.n]
(some e: [[x | e] enduring]
(some y: [y top.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.
Many screens have a top as a part.
Logical form
(many x: [x screen.n]
(some e: [[x | e] enduring]
(some y: [y top.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.
Many charts have a top as a part.
Logical form
(many x: [x chart.n]
(some e: [[x | e] enduring]
(some y: [y top.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.
All or most persons occasionally come out on a top.
Logical form
(all-or-most x: [x person.n]
(occasional e
(some y: [y top.n]
[[x come-out-on.v y] ** e])))Sharpened from
Click on a source factoid to see the original English sentences it was learned from.
Many lines have a top as a part.
Logical form
(many x: [x line.n]
(some e: [[x | e] enduring]
(some y: [y top.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.
Many posts have a top as a part.
Logical form
(many x: [x post.n]
(some e: [[x | e] enduring]
(some y: [y top.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.
Many towers have a top as a part.
Logical form
(many x: [x tower.n]
(some e: [[x | e] enduring]
(some y: [y top.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.
Many tables have a top as a part.
Logical form
(many x: [x table.n]
(some e: [[x | e] enduring]
(some y: [y top.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.
Many buildings have a top as a part.
Logical form
(many x: [x building.n]
(some e: [[x | e] enduring]
(some y: [y top.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.
Most or many females take off a top.
Logical form
(most-or-many x: [x female.n]
(some e:
(some y: [y top.n]
[[x take-off.v y] ** e])))Sharpened from
Click on a source factoid to see the original English sentences it was learned from.