Unsharpened Factoids
Logical form
[〈det person.n〉 have.v 〈det water.n〉]
Learned by reading
See source sentences for this factoid.
Logical form
[〈det female.n〉 have.v 〈det water.n〉]
Learned by reading
See source sentences for this factoid.
A glass can be constituted-of-or-filled-with water.
Logical form
[〈det glass.n〉 constituted-of-or-filled-with.a (k water.n)]
Learned by reading
See source sentences for this factoid.
Logical form
[〈det person.n〉 drink.v (k water.n)]
Learned by reading
See source sentences for this factoid.
A bottle can be constituted-of-or-filled-with water.
Logical form
[〈det bottle.n〉 constituted-of-or-filled-with.a (k water.n)]
Learned by reading
See source sentences for this factoid.
A body can be constituted-of-or-filled-with water.
Logical form
[〈det body.n〉 constituted-of-or-filled-with.a (k water.n)]
Learned by reading
See source sentences for this factoid.
A person may have a (water bottle).
Logical form
[〈det person.n〉 have.v 〈det (nn water.n bottle.n)〉]
Learned by reading
See source sentences for this factoid.
Logical form
[〈det water.n〉 have.v 〈det surface.n〉]
Learned by reading
See source sentences for this factoid.
A cup can be constituted-of-or-filled-with water.
Logical form
[〈det cup.n〉 constituted-of-or-filled-with.a (k water.n)]
Learned by reading
See source sentences for this factoid.
Logical form
[〈det water.n〉 have.v 〈det edge.n〉]
Learned by reading
See source sentences for this factoid.
Sharpened Factoids
Many glasses occasionally filled with an a quantity of water.
Logical form
(many x: [x glass.n]
(occasional e
(some y: [y (some-quantity-of water.n)]
[[x filled-with.v y] ** e])))Sharpened from
Click on a source factoid to see the original English sentences it was learned from.
Many bottles occasionally filled with an a quantity of water.
Logical form
(many x: [x bottle.n]
(occasional e
(some y: [y (some-quantity-of water.n)]
[[x filled-with.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 water.n]
(some e: [[x | e] enduring]
(some y
[[y surface-of.n x] ** e])))Sharpened from
Click on a source factoid to see the original English sentences it was learned from.
Many waters have a surface as a part.
Logical form
(many x: [x water.n]
(some e: [[x | e] enduring]
(some y: [y surface.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 cups occasionally filled with an a quantity of water.
Logical form
(many x: [x cup.n]
(occasional e
(some y: [y (some-quantity-of water.n)]
[[x filled-with.v y] ** e])))Sharpened from
Click on a source factoid to see the original English sentences it was learned from.