Unsharpened Factoids
A person can be in a world-city.
Logical form
[〈det person.n〉 in.p 〈det world-city.n〉]
Learned by reading
See source sentences for this factoid.
A person may go to a world-city.
Logical form
[〈det person.n〉 go.v (:p to.p 〈det world-city.n〉)]
Learned by reading
See source sentences for this factoid.
A male may be born in a world-city.
Logical form
[〈det male.n〉 (be.pasv bear.v) (:p in.p 〈det world-city.n〉)]
Learned by reading
See source sentences for this factoid.
A person may live in a world-city.
Logical form
[〈det person.n〉 live.v (:p in.p 〈det world-city.n〉)]
Learned by reading
See source sentences for this factoid.
A male may move to a world-city.
Logical form
[〈det male.n〉 move.v (:p to.p 〈det world-city.n〉)]
Learned by reading
See source sentences for this factoid.
A male may die in a world-city.
Logical form
[〈det male.n〉 die.v (:p in.p 〈det world-city.n〉)]
Learned by reading
See source sentences for this factoid.
A female may be born in a world-city.
Logical form
[〈det female.n〉 (be.pasv bear.v) (:p in.p 〈det world-city.n〉)]
Learned by reading
See source sentences for this factoid.
A male may return to a world-city.
Logical form
[〈det male.n〉 return.v (:p to.p 〈det world-city.n〉)]
Learned by reading
See source sentences for this factoid.
A male may go to a world-city.
Logical form
[〈det male.n〉 go.v (:p to.p 〈det world-city.n〉)]
Learned by reading
See source sentences for this factoid.
A female may move to a world-city.
Logical form
[〈det female.n〉 move.v (:p to.p 〈det world-city.n〉)]
Learned by reading
See source sentences for this factoid.
A world-city may have an airport.
Logical form
[〈det world-city.n〉 have.v 〈det airport.n〉]
Learned by reading
See source sentences for this factoid.
A trip can be to a world-city.
Logical form
[〈det trip.n〉 to.p 〈det world-city.n〉]
Learned by reading
See source sentences for this factoid.
A world-city may have an area.
Logical form
[〈det world-city.n〉 have.v 〈det area.n〉]
Learned by reading
See source sentences for this factoid.
A month can be in a world-city.
Logical form
[〈det month.n〉 in.p 〈det world-city.n〉]
Learned by reading
See source sentences for this factoid.
A school can be in a world-city.
Logical form
[〈det school.n〉 in.p 〈det world-city.n〉]
Learned by reading
See source sentences for this factoid.
Sharpened Factoids
Many persons occasionally go to a world city.
Logical form
(many x: [x person.n]
(occasional e
(some y: [y world-city.n]
[[x go-to.v y] ** e])))Sharpened from
Click on a source factoid to see the original English sentences it was learned from.
All or most males occasionally move to a world city.
Logical form
(all-or-most x: [x male.n]
(occasional e
(some y: [y world-city.n]
[[x move-to.v y] ** e])))Sharpened from
Click on a source factoid to see the original English sentences it was learned from.
All or most males occasionally go to a world city.
Logical form
(all-or-most x: [x male.n]
(occasional e
(some y: [y world-city.n]
[[x go-to.v y] ** e])))Sharpened from
Click on a source factoid to see the original English sentences it was learned from.
All or most females occasionally move to a world city.
Logical form
(all-or-most x: [x female.n]
(occasional e
(some y: [y world-city.n]
[[x move-to.v y] ** e])))Sharpened from
Click on a source factoid to see the original English sentences it was learned from.
Many trips are to a world city.
Logical form
(many x: [x trip.n]
(some y: [y world-city.n]
[x to.p y]))Sharpened from
Click on a source factoid to see the original English sentences it was learned from.
Many world cities have an area.
Logical form
(many x: [x world-city.n]
(some e: [[x | e] enduring]
(some y
[[y area-of.n x] ** e])))Sharpened from
Click on a source factoid to see the original English sentences it was learned from.
Many schools are in a world city.
Logical form
(many x: [x school.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.
Many persons occasionally arrive in a world city.
Logical form
(many x: [x person.n]
(occasional e
(some y: [y world-city.n]
[[x arrive-in.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 come to a world city.
Logical form
(all-or-most x: [x person.n]
(occasional e
(some y: [y world-city.n]
[[x come-to.v y] ** e])))Sharpened from
Click on a source factoid to see the original English sentences it was learned from.
Many persons occasionally leave a world city.
Logical form
(many x: [x person.n]
(occasional e
(some y: [y world-city.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 world-city.n]
[x city.n])Sharpened from
Click on a source factoid to see the original English sentences it was learned from.
All or most males occasionally travel to a world city.
Logical form
(all-or-most x: [x male.n]
(occasional e
(some y: [y world-city.n]
[[x travel-to.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 visit a world city.
Logical form
(all-or-most x: [x person.n]
(occasional e
(some y: [y world-city.n]
[[x visit.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 love a world city.
Logical form
(all-or-most x: [x person.n]
(occasional e
(some y: [y world-city.n]
[[x love.v y] ** e])))Sharpened from
Click on a source factoid to see the original English sentences it was learned from.
Many embassies are in a world city.
Logical form
(many x: [x embassy.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.