Sharpened Factoids
Logical form
(many x: [x person.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 house.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 line.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 shirt.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 car.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 room.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 building.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 store.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 bus.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 pant.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 church.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 mind.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 card.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 pack.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 body.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.