Unsharpened Factoids
Logical form
[〈det person.n〉 have.v 〈det screen.n〉]
Learned by reading
See source sentences for this factoid.
A person may have a (computer screen).
Logical form
[〈det person.n〉 have.v 〈det (nn computer.n screen.n)〉]
Learned by reading
See source sentences for this factoid.
A person may have a (screen name).
Logical form
[〈det person.n〉 have.v 〈det (nn screen.n name.n)〉]
Learned by reading
See source sentences for this factoid.
Logical form
[〈det (plur person.n)〉 have.v 〈det (plur screen.n)〉]
Learned by reading
See source sentences for this factoid.
Logical form
[〈det screen.n〉 have.v 〈det bottom.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.
Logical form
[〈det (nn screen.n tv.n)〉 flat.a]
Learned by reading
See source sentences for this factoid.
A person may have a (tv screen).
Logical form
[〈det person.n〉 have.v 〈det (nn tv.n screen.n)〉]
Learned by reading
See source sentences for this factoid.
Logical form
[〈det screen.n〉 have.v 〈det side.n〉]
Learned by reading
See source sentences for this factoid.
Logical form
[〈det person.n〉 get.v 〈det screen.n〉]
Learned by reading
See source sentences for this factoid.
Sharpened Factoids
Many screens have a bottom as a part.
Logical form
(many x: [x screen.n]
(some e: [[x | e] enduring]
(some y: [y bottom.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 screens have a side as a part.
Logical form
(many x: [x screen.n]
(some e: [[x | e] enduring]
(some y: [y side.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 corner as a part.
Logical form
(many x: [x screen.n]
(some e: [[x | e] enduring]
(some y: [y corner.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 stare at a screen.
Logical form
(all-or-most x: [x person.n]
(occasional e
(some y: [y screen.n]
[[x stare-at.v y] ** e])))Sharpened from
Click on a source factoid to see the original English sentences it was learned from.
Many screens have a middle as a part.
Logical form
(many x: [x screen.n]
(some e: [[x | e] enduring]
(some y: [y middle.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 center as a part.
Logical form
(many x: [x screen.n]
(some e: [[x | e] enduring]
(some y: [y center.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 phones have a screen as a part.
Logical form
(many x: [x phone.n]
(some e: [[x | e] enduring]
(some y: [y screen.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 part as a part.
Logical form
(many x: [x screen.n]
(some e: [[x | e] enduring]
(some y: [y part.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.