Sharpened Factoids
Logical form
(many x: [x person.n]
(some e: [[x | e] enduring]
(some y
[[y history-of.n x] ** e])))Sharpened from
Click on a source factoid to see the original English sentences it was learned from.
Many countries have a history.
Logical form
(many x: [x country.n]
(some e: [[x | e] enduring]
(some y
[[y history-of.n x] ** e])))Sharpened from
Click on a source factoid to see the original English sentences it was learned from.
Many us states have a history.
Logical form
(many x: [x us-state.n]
(some e: [[x | e] enduring]
(some y
[[y history-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 nation.n]
(some e: [[x | e] enduring]
(some y
[[y history-of.n x] ** e])))Sharpened from
Click on a source factoid to see the original English sentences it was learned from.
Many languages have a history.
Logical form
(many x: [x language.n]
(some e: [[x | e] enduring]
(some y
[[y history-of.n x] ** e])))Sharpened from
Click on a source factoid to see the original English sentences it was learned from.
Many companies have a history.
Logical form
(many x: [x company.n]
(some e: [[x | e] enduring]
(some y
[[y history-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 city.n]
(some e: [[x | e] enduring]
(some y
[[y history-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 family.n]
(some e: [[x | e] enduring]
(some y
[[y history-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 club.n]
(some e: [[x | e] enduring]
(some y
[[y history-of.n x] ** e])))Sharpened from
Click on a source factoid to see the original English sentences it was learned from.
Many US cities have a history.
Logical form
(many x: [x us-city.n]
(some e: [[x | e] enduring]
(some y
[[y history-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 school.n]
(some e: [[x | e] enduring]
(some y
[[y history-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 area.n]
(some e: [[x | e] enduring]
(some y
[[y history-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 state.n]
(some e: [[x | e] enduring]
(some y
[[y history-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 game.n]
(some e: [[x | e] enduring]
(some y
[[y history-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 church.n]
(some e: [[x | e] enduring]
(some y
[[y history-of.n x] ** e])))Sharpened from
Click on a source factoid to see the original English sentences it was learned from.