Unsharpened Factoids
Logical form
[〈det person.n〉 have.v 〈det theme.n〉]
Learned by reading
See source sentences for this factoid.
A person may have a (theme song).
Logical form
[〈det person.n〉 have.v 〈det (nn theme.n song.n)〉]
Learned by reading
See source sentences for this factoid.
Logical form
[〈det male.n〉 have.v 〈det (plur theme.n)〉]
Learned by reading
See source sentences for this factoid.
Logical form
[〈det week.n〉 have.v 〈det theme.n〉]
Learned by reading
See source sentences for this factoid.
Persons may have a (theme music).
Logical form
[〈det (plur person.n)〉 have.v 〈det (nn theme.n music.n)〉]
Learned by reading
See source sentences for this factoid.
Logical form
[〈det year.n〉 have.v 〈det theme.n〉]
Learned by reading
See source sentences for this factoid.
A variation can be on a theme.
Logical form
[〈det variation.n〉 on.p 〈det theme.n〉]
Learned by reading
See source sentences for this factoid.
A theme can be that something-is-the-case.
Logical form
[〈det theme.n〉(that.p something-is-the-case)]
Learned by reading
See source sentences for this factoid.
Logical form
[〈det show.n〉 have.v 〈det theme.n〉]
Learned by reading
See source sentences for this factoid.
Logical form
[〈det person.n〉 like.v 〈det theme.n〉]
Learned by reading
See source sentences for this factoid.
Logical form
[〈det month.n〉 have.v 〈det theme.n〉]
Learned by reading
See source sentences for this factoid.
A person may have a (mood theme).
Logical form
[〈det person.n〉 have.v 〈det (nn mood.n theme.n)〉]
Learned by reading
See source sentences for this factoid.
Logical form
[〈det person.n〉 use.v 〈det theme.n〉]
Learned by reading
See source sentences for this factoid.
Logical form
[〈det book.n〉 have.v 〈det theme.n〉]
Learned by reading
See source sentences for this factoid.
Sharpened Factoids
Many variations are on a theme.
Logical form
(many x: [x variation.n]
(some y: [y theme.n]
[x on.p y]))Sharpened from
Click on a source factoid to see the original English sentences it was learned from.
Many books have a theme as a part.
Logical form
(many x: [x book.n]
(some e: [[x | e] enduring]
(some y: [y theme.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.
Logical form
(many x: [x theme.n]
(some e: [[x | e] enduring]
[[x religious.a] ** e]))Sharpened from
Click on a source factoid to see the original English sentences it was learned from.
Many or some themes are dominant.
Logical form
(many-or-some x: [x theme.n]
(some e: [[x | e] enduring]
[[x dominant.a] ** e]))Sharpened from
Click on a source factoid to see the original English sentences it was learned from.
Many films have a theme as a part.
Logical form
(many x: [x film.n]
(some e: [[x | e] enduring]
(some y: [y theme.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 movies have a theme as a part.
Logical form
(many x: [x movie.n]
(some e: [[x | e] enduring]
(some y: [y theme.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.