Unsharpened Factoids
Logical form
[〈det person.n〉 have.v 〈det building.n〉]
Learned by reading
See source sentences for this factoid.
Logical form
[〈det (plur person.n)〉 have.v 〈det building.n〉]
Learned by reading
See source sentences for this factoid.
A person may have an (apartment building).
Logical form
[〈det person.n〉 have.v 〈det (nn apartment.n building.n)〉]
Learned by reading
See source sentences for this factoid.
Logical form
[〈det building.n〉 have.v 〈det side.n〉]
Learned by reading
See source sentences for this factoid.
Logical form
[〈det male.n〉 have.v 〈det (plur building.n)〉]
Learned by reading
See source sentences for this factoid.
A building can be in a us-city.
Logical form
[〈det building.n〉 in.p 〈det us-city.n〉]
Learned by reading
See source sentences for this factoid.
Logical form
[〈det (plur building.n)〉 tall.a]
Learned by reading
See source sentences for this factoid.
A building may undergo a construction.
Logical form
[〈det building.n〉 undergo.v 〈det construction.n〉]
Learned by reading
See source sentences for this factoid.
Logical form
[〈det building.n〉 have.v 〈det floor.n〉]
Learned by reading
See source sentences for this factoid.
A person may have an (office building).
Logical form
[〈det person.n〉 have.v 〈det (nn office.n building.n)〉]
Learned by reading
See source sentences for this factoid.
Logical form
[〈det building.n〉 have.v 〈det part.n〉]
Learned by reading
See source sentences for this factoid.
Logical form
[〈det (plur building.n)〉 residential.a]
Learned by reading
See source sentences for this factoid.
A building can be in a world-city.
Logical form
[〈det building.n〉 in.p 〈det world-city.n〉]
Learned by reading
See source sentences for this factoid.
A person may leave a building.
Logical form
[〈det person.n〉 leave.v 〈det building.n〉]
Learned by reading
See source sentences for this factoid.
A person can be in a building.
Logical form
[〈det person.n〉 in.p 〈det building.n〉]
Learned by reading
See source sentences for this factoid.
Sharpened Factoids
Many or some persons possess a building.
Logical form
(many-or-some x: [x person.n]
(some e:
(some y: [y building.n]
[[x possess.v y] ** e])))Sharpened from
Click on a source factoid to see the original English sentences it was learned from.
Many buildings have a side as a part.
Logical form
(many x: [x building.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 males possess a building.
Logical form
(many x: [x male.n]
(some e:
(some y: [y building.n]
[[x possess.v y] ** e])))Sharpened from
Click on a source factoid to see the original English sentences it was learned from.
Many buildings are in an US city.
Logical form
(many x: [x building.n]
(some e: [[x | e] enduring]
(some y: [y us-city.n]
[[x in.p y] ** 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]
[[x tall.a] ** e]))Sharpened from
Click on a source factoid to see the original English sentences it was learned from.
Many buildings have a floor as a part.
Logical form
(many x: [x building.n]
(some e: [[x | e] enduring]
(some y: [y floor.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 buildings have a part as a part.
Logical form
(many x: [x building.n]
(some e: [[x | e] enduring]
(some y: [y part.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 buildings are residential.
Logical form
(many x: [x building.n]
(some e: [[x | e] enduring]
[[x residential.a] ** e]))Sharpened from
Click on a source factoid to see the original English sentences it was learned from.
Many buildings are in a world city.
Logical form
(many x: [x building.n]
(some e: [[x | e] enduring]
(some y: [y world-city.n]
[[x in.p y] ** e])))Sharpened from
Click on a source factoid to see the original English sentences it was learned from.
All or most persons occasionally leave a building.
Logical form
(all-or-most x: [x person.n]
(occasional e
(some y: [y building.n]
[[x leave.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 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.
Many buildings have a roof as a part.
Logical form
(many x: [x building.n]
(some e: [[x | e] enduring]
(some y: [y roof.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 buildings are in a country.
Logical form
(many x: [x building.n]
(some e: [[x | e] enduring]
(some y: [y country.n]
[[x in.p y] ** 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 top-of.n x] ** e])))Sharpened from
Click on a source factoid to see the original English sentences it was learned from.
Many buildings have a top as a part.
Logical form
(many x: [x building.n]
(some e: [[x | e] enduring]
(some y: [y top.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.