Unsharpened Factoids
Logical form
[〈det person.n〉 have.v 〈det wall.n〉]
Learned by reading
See source sentences for this factoid.
Logical form
[〈det person.n〉 have.v 〈det (plur wall.n)〉]
Learned by reading
See source sentences for this factoid.
Logical form
[〈det female.n〉 have.v 〈det (plur wall.n)〉]
Learned by reading
See source sentences for this factoid.
A person may lean against a wall.
Logical form
[〈det person.n〉 lean.v (:p against.p 〈det wall.n〉)]
Learned by reading
See source sentences for this factoid.
Logical form
[〈det person.n〉 hit.v 〈det wall.n〉]
Learned by reading
See source sentences for this factoid.
Logical form
[〈det hole.n〉 in.p 〈det wall.n〉]
Learned by reading
See source sentences for this factoid.
A wall can be behind a person.
Logical form
[〈det wall.n〉 behind.p 〈det person.n〉]
Learned by reading
See source sentences for this factoid.
Logical form
[〈det wall.n〉 have.v 〈det side.n〉]
Learned by reading
See source sentences for this factoid.
A person may have a (bedroom wall).
Logical form
[〈det person.n〉 have.v 〈det (nn bedroom.n wall.n)〉]
Learned by reading
See source sentences for this factoid.
Logical form
[〈det writing.n〉 on.p 〈det wall.n〉]
Learned by reading
See source sentences for this factoid.
Logical form
[〈det room.n〉 have.v 〈det (plur wall.n)〉]
Learned by reading
See source sentences for this factoid.
Sharpened Factoids
Many walls have a side as a part.
Logical form
(many x: [x wall.n]
(some e: [[x | e] enduring]
(some y: [y side.n]
[[x have-as-part.v y] ** e])))Sharpened from
Click on a source factoid to see the original English sentences it was learned from.
Many rooms have a wall as a part.
Logical form
(many x: [x room.n]
(some e: [[x | e] enduring]
(some y: [y wall.n]
[[x have-as-part.v y] ** e])))Sharpened from
Click on a source factoid to see the original English sentences it was learned from.
All or most persons occasionally stare at a wall.
Logical form
(all-or-most x: [x person.n]
(occasional e
(some y: [y wall.n]
[[x stare-at.v y] ** e])))Sharpened from
Click on a source factoid to see the original English sentences it was learned from.
Logical form
(many x: [x wall.n]
(some e: [[x | e] enduring]
(some y
[[y color-of.n x] ** e])))Sharpened from
Click on a source factoid to see the original English sentences it was learned from.
Many walls have a color as a part.
Logical form
(many x: [x wall.n]
(some e: [[x | e] enduring]
(some y: [y color.n]
[[x have-as-part.v y] ** e])))Sharpened from
Click on a source factoid to see the original English sentences it was learned from.
Many houses have a wall as a part.
Logical form
(many x: [x house.n]
(some e: [[x | e] enduring]
(some y: [y wall.n]
[[x have-as-part.v y] ** e])))Sharpened from
Click on a source factoid to see the original English sentences it was learned from.