Unsharpened Factoids
Logical form
[〈det person.n〉 have.v 〈det part.n〉]
Learned by reading
See source sentences for this factoid.
A part can be that something-is-the-case.
Logical form
[〈det part.n〉(that.p something-is-the-case)]
Learned by reading
See source sentences for this factoid.
Logical form
[〈det person.n〉 take.v (k part.n)]
Learned by reading
See source sentences for this factoid.
Logical form
[〈det life.n〉 have.v 〈det part.n〉]
Learned by reading
See source sentences for this factoid.
Logical form
[〈the-local world.n〉 have.v 〈det part.n〉]
Learned by reading
See source sentences for this factoid.
Logical form
[〈det country.n〉 have.v 〈det part.n〉]
Learned by reading
See source sentences for this factoid.
Logical form
[〈det body.n〉 have.v 〈det part.n〉]
Learned by reading
See source sentences for this factoid.
Logical form
[〈det reason.n〉 have.v (k part.n)]
Learned by reading
See source sentences for this factoid.
An area can be part of a country.
Logical form
[〈det area.n〉 (:a (k part.n) (:p of.p 〈det country.n〉))]
Learned by reading
See source sentences for this factoid.
Logical form
[〈det problem.n〉 have.v (k part.n)]
Learned by reading
See source sentences for this factoid.
Logical form
[〈det team.n〉 have.v (k part.n)]
Learned by reading
See source sentences for this factoid.
Logical form
[〈det day.n〉 have.v 〈det part.n〉]
Learned by reading
See source sentences for this factoid.
Logical form
[〈det male.n〉 (:a (k part.n) (:p of.p 〈det team.n〉))]
Learned by reading
See source sentences for this factoid.
Logical form
[〈det city.n〉 have.v 〈det part.n〉]
Learned by reading
See source sentences for this factoid.
Sharpened Factoids
Many stories have a part as a part.
Logical form
(many x: [x story.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.
Logical form
(many x: [x part.n]
(some e: [[x | e] enduring]
[[x interesting.a] ** e]))Sharpened from
Click on a source factoid to see the original English sentences it was learned from.
Many books have a part as a part.
Logical form
(many x: [x book.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.
Many plans have a part as a part.
Logical form
(many x: [x plan.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.
Many jobs have a part as a part.
Logical form
(many x: [x job.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.
Logical form
(many x: [x part.n]
(some e: [[x | e] enduring]
[[x difficult.a] ** e]))Sharpened from
Click on a source factoid to see the original English sentences it was learned from.