Unsharpened Factoids
Logical form
[〈det person.n〉 have.v 〈det proof.n〉]
Learned by reading
See source sentences for this factoid.
Logical form
[〈det person.n〉 have.v (k proof.n)]
Learned by reading
See source sentences for this factoid.
Logical form
[〈det male.n〉 have.v 〈det proof.n〉]
Learned by reading
See source sentences for this factoid.
Logical form
[〈det person.n〉 want.v (k proof.n)]
Learned by reading
See source sentences for this factoid.
Logical form
[〈det person.n〉 need.v (k proof.n)]
Learned by reading
See source sentences for this factoid.
A proof can be constituted-of-or-filled-with concept.
Logical form
[〈det proof.n〉 constituted-of-or-filled-with.a (k concept.n)]
Learned by reading
See source sentences for this factoid.
A person may show a person a proof.
Logical form
[〈det person.n〉 show.v 〈det person.n〉 〈det proof.n〉]
Learned by reading
See source sentences for this factoid.
Logical form
[〈det proof.n〉 in.p 〈det pudding.n〉]
Learned by reading
See source sentences for this factoid.
Logical form
[〈det person.n〉 live.v (k proof.n)]
Learned by reading
See source sentences for this factoid.
Sharpened Factoids
Many or some proofs are conclusive.
Logical form
(many-or-some x: [x proof.n]
(some e: [[x | e] enduring]
[[x conclusive.a] ** e]))Sharpened from
Click on a source factoid to see the original English sentences it was learned from.
Many or some proofs are photographic.
Logical form
(many-or-some x: [x proof.n]
(some e: [[x | e] enduring]
[[x photographic.a] ** e]))Sharpened from
Click on a source factoid to see the original English sentences it was learned from.
Many or some proofs are irrefutable.
Logical form
(many-or-some x: [x proof.n]
(some e: [[x | e] enduring]
[[x irrefutable.a] ** e]))Sharpened from
Click on a source factoid to see the original English sentences it was learned from.
Many or some proofs are mathematical.
Logical form
(many-or-some x: [x proof.n]
(some e: [[x | e] enduring]
[[x mathematical.a] ** e]))Sharpened from
Click on a source factoid to see the original English sentences it was learned from.
Many or some proofs are undeniable.
Logical form
(many-or-some x: [x proof.n]
(some e: [[x | e] enduring]
[[x undeniable.a] ** e]))Sharpened from
Click on a source factoid to see the original English sentences it was learned from.
Many or some proofs are tangible.
Logical form
(many-or-some x: [x proof.n]
(some e: [[x | e] enduring]
[[x tangible.a] ** e]))Sharpened from
Click on a source factoid to see the original English sentences it was learned from.