Unsharpened Factoids
Logical form
[〈det person.n〉 in.p (k love.n)]
Learned by reading
See source sentences for this factoid.
Logical form
[〈det person.n〉 in.p 〈det country.n〉]
Learned by reading
See source sentences for this factoid.
Logical form
[〈det person.n〉 in.p 〈det us-city.n〉]
Learned by reading
See source sentences for this factoid.
Logical form
[〈det person.n〉 in.p (k school.n)]
Learned by reading
See source sentences for this factoid.
Logical form
[〈det person.n〉 in.p 〈det mood.n〉]
Learned by reading
See source sentences for this factoid.
Logical form
[〈det person.n〉 fall.v (:p in.p (k love.n))]
Learned by reading
See source sentences for this factoid.
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 live in a us-city.
Logical form
[〈det person.n〉 live.v (:p in.p 〈det us-city.n〉)]
Learned by reading
See source sentences for this factoid.
A person can be in a us-state.
Logical form
[〈det person.n〉 in.p 〈det us-state.n〉]
Learned by reading
See source sentences for this factoid.
A person may live in a country.
Logical form
[〈det person.n〉 live.v (:p in.p 〈det country.n〉)]
Learned by reading
See source sentences for this factoid.
Logical form
[〈det person.n〉 in.p 〈the-local world.n〉]
Learned by reading
See source sentences for this factoid.
Logical form
[〈det person.n〉 in.p 〈det area.n〉]
Learned by reading
See source sentences for this factoid.
A person may live in a us-state.
Logical form
[〈det person.n〉 live.v (:p in.p 〈det us-state.n〉)]
Learned by reading
See source sentences for this factoid.
Logical form
[(k anybody.n) in.p 〈det female.n〉]
Learned by reading
See source sentences for this factoid.
A news can be in (college basketball).
Logical form
[〈the news.n〉 in.p (k (nn college.n basketball.n))]
Learned by reading
See source sentences for this factoid.
Sharpened Factoids
Many households are in a city.
Logical form
(many x: [x household.n]
(some e: [[x | e] enduring]
(some y: [y 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 households are in a town.
Logical form
(many x: [x household.n]
(some e: [[x | e] enduring]
(some y: [y town.n]
[[x in.p y] ** e])))Sharpened from
Click on a source factoid to see the original English sentences it was learned from.
Many steps are in a direction.
Logical form
(many x: [x step.n]
(some y: [y direction.n]
[x in.p y]))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 households are in a township.
Logical form
(many x: [x household.n]
(some e: [[x | e] enduring]
(some y: [y township.n]
[[x in.p y] ** e])))Sharpened from
Click on a source factoid to see the original English sentences it was learned from.
Many households are in a village.
Logical form
(many x: [x household.n]
(some e: [[x | e] enduring]
(some y: [y village.n]
[[x in.p y] ** e])))Sharpened from
Click on a source factoid to see the original English sentences it was learned from.
Many commanders are in a chief.
Logical form
(many x: [x commander.n]
(some e: [[x | e] enduring]
(some y: [y chief.n]
[[x in.p y] ** e])))Sharpened from
Click on a source factoid to see the original English sentences it was learned from.