Unsharpened Factoids
Logical form
[〈det person.n〉 have.v 〈det bus.n〉]
Learned by reading
See source sentences for this factoid.
Logical form
[〈det (plur person.n)〉 have.v 〈det bus.n〉]
Learned by reading
See source sentences for this factoid.
Logical form
[〈det person.n〉 take.v 〈det bus.n〉]
Learned by reading
See source sentences for this factoid.
Logical form
[〈det person.n〉 on.p 〈det bus.n〉]
Learned by reading
See source sentences for this factoid.
Logical form
[〈det person.n〉 get.v (:p on.p 〈det bus.n〉)]
Learned by reading
See source sentences for this factoid.
Logical form
[〈det person.n〉 miss.v 〈det bus.n〉]
Learned by reading
See source sentences for this factoid.
Logical form
[〈det person.n〉 ride.v 〈det bus.n〉]
Learned by reading
See source sentences for this factoid.
Logical form
[〈det bus.n〉 have.v 〈det back.n〉]
Learned by reading
See source sentences for this factoid.
A person may have a (bus stop).
Logical form
[〈det person.n〉 have.v 〈det (nn bus.n stop.n)〉]
Learned by reading
See source sentences for this factoid.
Logical form
[〈det person.n〉 wait.v (:p for.p 〈det bus.n〉)]
Learned by reading
See source sentences for this factoid.
Logical form
[〈det person.n〉 get.v (:p off.p 〈det bus.n〉)]
Learned by reading
See source sentences for this factoid.
Logical form
[〈det person.n〉 catch.v 〈det bus.n〉]
Learned by reading
See source sentences for this factoid.
Logical form
[〈det world-city.n〉 have.v 〈det (plur bus.n)〉]
Learned by reading
See source sentences for this factoid.
Persons may have a (tour bus).
Logical form
[〈det (plur person.n)〉 have.v 〈det (nn tour.n bus.n)〉]
Learned by reading
See source sentences for this factoid.
Sharpened Factoids
Many buses have a back as a part.
Logical form
(many x: [x bus.n]
(some e: [[x | e] enduring]
(some y: [y back.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 wait for a bus.
Logical form
(all-or-most x: [x person.n]
(occasional e
(some y: [y bus.n]
[[x wait-for.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 bus.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.