Sharpened Factoids
Logical form
(many x: [x plane.n]
(some e: [[x | e] enduring]
(some y
[[y front-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 dress.n]
(some e: [[x | e] enduring]
(some y
[[y front-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 vehicle.n]
(some e: [[x | e] enduring]
(some y
[[y front-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 front-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 book.n]
(some e: [[x | e] enduring]
(some y
[[y front-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 box.n]
(some e: [[x | e] enduring]
(some y
[[y front-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 jean.n]
(some e: [[x | e] enduring]
(some y
[[y front-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 home.n]
(some e: [[x | e] enduring]
(some y
[[y front-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 boat.n]
(some e: [[x | e] enduring]
(some y
[[y front-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 crowd.n]
(some e: [[x | e] enduring]
(some y
[[y front-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 classroom.n]
(some e: [[x | e] enduring]
(some y
[[y front-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 train.n]
(some e: [[x | e] enduring]
(some y
[[y front-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 device.n]
(some e: [[x | e] enduring]
(some y
[[y front-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 shop.n]
(some e: [[x | e] enduring]
(some y
[[y front-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 country.n]
(some e: [[x | e] enduring]
(some y
[[y front-of.n x] ** e])))Sharpened from
Click on a source factoid to see the original English sentences it was learned from.