Unsharpened Factoids
Logical form
[〈det person.n〉 have.v 〈det set.n〉]
Learned by reading
See source sentences for this factoid.
Logical form
[〈det (plur person.n)〉 have.v 〈det set.n〉]
Learned by reading
See source sentences for this factoid.
A set can be constituted-of-or-filled-with rules.
Logical form
[〈det set.n〉 constituted-of-or-filled-with.a 〈det rule.n〉]
Learned by reading
See source sentences for this factoid.
A set can be constituted-of-or-filled-with tools.
Logical form
[〈det set.n〉 constituted-of-or-filled-with.a 〈det tool.n〉]
Learned by reading
See source sentences for this factoid.
A person may have a (heart set).
Logical form
[〈det person.n〉 have.v 〈det (nn heart.n set.n)〉]
Learned by reading
See source sentences for this factoid.
A person may have a (skill set).
Logical form
[〈det person.n〉 have.v 〈det (nn skill.n set.n)〉]
Learned by reading
See source sentences for this factoid.
Logical form
[〈det person.n〉 have.v 〈det (nn tv.n set.n)〉]
Learned by reading
See source sentences for this factoid.
A set can be constituted-of-or-filled-with values.
Logical form
[〈det set.n〉 constituted-of-or-filled-with.a 〈det value.n〉]
Learned by reading
See source sentences for this factoid.
Logical form
[〈det set.n〉 have.v 〈det end.n〉]
Learned by reading
See source sentences for this factoid.
A set can be constituted-of-or-filled-with circumstances.
Logical form
[〈det set.n〉 constituted-of-or-filled-with.a 〈det circumstance.n〉]
Learned by reading
See source sentences for this factoid.
A set can be constituted-of-or-filled-with principles.
Logical form
[〈det set.n〉 constituted-of-or-filled-with.a 〈det principle.n〉]
Learned by reading
See source sentences for this factoid.
Sharpened Factoids
Many sets have an end as a part.
Logical form
(many x: [x set.n]
(some e: [[x | e] enduring]
(some y: [y end.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 set.n]
(some e: [[x | e] enduring]
[[x acoustic.a] ** e]))Sharpened from
Click on a source factoid to see the original English sentences it was learned from.
Logical form
(many x: [x set.n]
(some e: [[x | e] enduring]
[[x comprehensive.a] ** e]))Sharpened from
Click on a source factoid to see the original English sentences it was learned from.