Unsharpened Factoids
Logical form
[〈det (plur singer.n)〉 female.a]
Learned by reading
See source sentences for this factoid.
Logical form
[〈det (plur person.n)〉 have.v 〈det singer.n〉]
Learned by reading
See source sentences for this factoid.
Logical form
[〈det person.n〉 have.v 〈det singer.n〉]
Learned by reading
See source sentences for this factoid.
Logical form
[〈det person.n〉 have.v 〈det (plur singer.n)〉]
Learned by reading
See source sentences for this factoid.
Logical form
[〈det singer.n〉 have.v 〈det song.n〉]
Learned by reading
See source sentences for this factoid.
Logical form
[〈det singer.n〉 have.v 〈det stuff.n〉]
Learned by reading
See source sentences for this factoid.
Logical form
[〈det singer.n〉 have.v 〈det painting.n〉]
Learned by reading
See source sentences for this factoid.
A singer may have a (tin sign).
Logical form
[〈det singer.n〉 have.v 〈det (nn tin.n sign.n)〉]
Learned by reading
See source sentences for this factoid.
Logical form
[〈det singer.n〉 have.v 〈det album.n〉]
Learned by reading
See source sentences for this factoid.
Logical form
[〈det song.n〉 by.p 〈det singer.n〉]
Learned by reading
See source sentences for this factoid.
Sharpened Factoids
Logical form
(many x: [x singer.n]
(some e: [[x | e] enduring]
(some y
[[y stuff-of.n x] ** e])))Sharpened from
Click on a source factoid to see the original English sentences it was learned from.
Many singers possess a painting.
Logical form
(many x: [x singer.n]
(some e:
(some y: [y painting.n]
[[x possess.v y] ** e])))Sharpened from
Click on a source factoid to see the original English sentences it was learned from.
Logical form
(many x: [x singer.n]
(some e: [[x | e] enduring]
(some y
[[y tin-sign-of.n x] ** e])))Sharpened from
Click on a source factoid to see the original English sentences it was learned from.
Many albums created by a singer.
Logical form
(many x: [x album.n]
(some y: [y singer.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.
Logical form
(many x: [x singer.n]
(some e: [[x | e] enduring]
[[x troubled.a] ** e]))Sharpened from
Click on a source factoid to see the original English sentences it was learned from.