Unsharpened Factoids
Logical form
[〈det (plur person.n)〉 go.v (:p to.p 〈det park.n〉)]
Learned by reading
See source sentences for this factoid.
Logical form
[〈det (plur person.n)〉 have.v 〈det (plur park.n)〉]
Learned by reading
See source sentences for this factoid.
Logical form
[〈det person.n〉 have.v 〈det park.n〉]
Learned by reading
See source sentences for this factoid.
Logical form
[(k event.n) (be.pasv hold.v) (:p in.p 〈det park.n〉)]
Learned by reading
See source sentences for this factoid.
Logical form
[〈det (plur person.n)〉 have.v 〈det park.n〉]
Learned by reading
See source sentences for this factoid.
Logical form
[〈det walk.n〉 in.p 〈det park.n〉]
Learned by reading
See source sentences for this factoid.
Logical form
[〈det park.n〉 have.v 〈det area.n〉]
Learned by reading
See source sentences for this factoid.
Logical form
[〈det park.n〉 in.p 〈det us-city.n〉]
Learned by reading
See source sentences for this factoid.
A park may have a neighborhood.
Logical form
[〈det park.n〉 have.v 〈det neighborhood.n〉]
Learned by reading
See source sentences for this factoid.
Logical form
[〈det park.n〉 have.v 〈det zoo.n〉]
Learned by reading
See source sentences for this factoid.
Logical form
[〈det park.n〉 (be.pasv locate.v)]
Learned by reading
See source sentences for this factoid.
Logical form
[〈det park.n〉 in.p 〈det country.n〉]
Learned by reading
See source sentences for this factoid.
Logical form
[〈det park.n〉 have.v 〈det side.n〉]
Learned by reading
See source sentences for this factoid.
Sharpened Factoids
Many parks have an area as a part.
Logical form
(many x: [x park.n]
(some e: [[x | e] enduring]
(some y: [y area.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 parks have a side as a part.
Logical form
(many x: [x park.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 parks have a part as a part.
Logical form
(many x: [x park.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.
Logical form
(many x: [x entrance.n]
(some y: [y park.n]
[x to.p y]))Sharpened from
Click on a source factoid to see the original English sentences it was learned from.
Many parks have a section as a part.
Logical form
(many x: [x park.n]
(some e: [[x | e] enduring]
(some y: [y section.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 parks have an end as a part.
Logical form
(many x: [x park.n]
(some e: [[x | e] enduring]
(some y: [y end.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.