Sharpened Factoids
Logical form
(many x: [x person.n]
(some e: [[x | e] enduring]
(some y
[[y theorem-of.n x] ** e])))Sharpened from
Click on a source factoid to see the original English sentences it was learned from.
Logical form
(many x: [x male.n]
(some e: [[x | e] enduring]
(some y
[[y theorem-of.n x] ** e])))Sharpened from
Click on a source factoid to see the original English sentences it was learned from.
Many scientists have a theorem.
Logical form
(many x: [x scientist.n]
(some e: [[x | e] enduring]
(some y
[[y theorem-of.n x] ** e])))Sharpened from
Click on a source factoid to see the original English sentences it was learned from.
Many philosophers have a theorem.
Logical form
(many x: [x philosopher.n]
(some e: [[x | e] enduring]
(some y
[[y theorem-of.n x] ** e])))Sharpened from
Click on a source factoid to see the original English sentences it was learned from.
Many composers have a theorem.
Logical form
(many x: [x composer.n]
(some e: [[x | e] enduring]
(some y
[[y theorem-of.n x] ** e])))Sharpened from
Click on a source factoid to see the original English sentences it was learned from.
Logical form
(many x: [x singer.n]
(some e: [[x | e] enduring]
(some y
[[y theorem-of.n x] ** e])))Sharpened from
Click on a source factoid to see the original English sentences it was learned from.
Many economists have a theorem.
Logical form
(many x: [x economist.n]
(some e: [[x | e] enduring]
(some y
[[y theorem-of.n x] ** e])))Sharpened from
Click on a source factoid to see the original English sentences it was learned from.
Logical form
(many x: [x angle.n]
(some e: [[x | e] enduring]
(some y
[[y theorem-of.n x] ** e])))Sharpened from
Click on a source factoid to see the original English sentences it was learned from.
Logical form
(many x: [x subject.n]
(some e: [[x | e] enduring]
(some y
[[y theorem-of.n x] ** e])))Sharpened from
Click on a source factoid to see the original English sentences it was learned from.