Unsharpened Factoids
Logical form
[〈det water.n〉 have.v 〈det surface.n〉]
Learned by reading
See source sentences for this factoid.
Logical form
[〈the-local earth.n〉 have.v 〈det surface.n〉]
Learned by reading
See source sentences for this factoid.
Logical form
[〈det (plur person.n)〉 have.v 〈det surface.n〉]
Learned by reading
See source sentences for this factoid.
Logical form
[〈det (plur person.n)〉 have.v 〈det (plur surface.n)〉]
Learned by reading
See source sentences for this factoid.
Logical form
[〈det person.n〉 have.v 〈det surface.n〉]
Learned by reading
See source sentences for this factoid.
Logical form
[〈det planet.n〉 have.v 〈det surface.n〉]
Learned by reading
See source sentences for this factoid.
Logical form
[〈det skin.n〉 have.v 〈det surface.n〉]
Learned by reading
See source sentences for this factoid.
Logical form
[〈det female.n〉 have.v 〈det surface.n〉]
Learned by reading
See source sentences for this factoid.
Logical form
[〈the-local moon.n〉 have.v 〈det surface.n〉]
Learned by reading
See source sentences for this factoid.
Logical form
[〈det company.n〉 have.v 〈det surface.n〉]
Learned by reading
See source sentences for this factoid.
A person may scratch a surface.
Logical form
[〈det person.n〉 scratch.v 〈det surface.n〉]
Learned by reading
See source sentences for this factoid.
Sharpened Factoids
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 globes have a surface as a part.
Logical form
(many x: [x globe.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 tables have a surface as a part.
Logical form
(many x: [x table.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 desks have a surface as a part.
Logical form
(many x: [x desk.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 surfaces have a part as a part.
Logical form
(many x: [x surface.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 watch dials have a surface as a part.
Logical form
(many x: [x watch-dial.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 persons occasionally appear on a surface.
Logical form
(many x: [x person.n]
(occasional e
(some y: [y surface.n]
[[x appear-on.v y] ** e])))Sharpened from
Click on a source factoid to see the original English sentences it was learned from.
Many cells have a surface as a part.
Logical form
(many x: [x cell.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 surfaces have an area as a part.
Logical form
(many x: [x surface.n]
(some e: [[x | e] enduring]
(some y: [y area.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 glasses have a surface as a part.
Logical form
(many x: [x glass.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 spheres have a surface as a part.
Logical form
(many x: [x sphere.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.