Unsharpened Factoids
Logical form
[〈det person.n〉 have.v 〈det trip.n〉]
Learned by reading
See source sentences for this factoid.
Logical form
[〈det trip.n〉 to.p 〈det country.n〉]
Learned by reading
See source sentences for this factoid.
Logical form
[〈det trip.n〉 to.p 〈det us-city.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.
Logical form
[〈det trip.n〉 to.p 〈det us-state.n〉]
Learned by reading
See source sentences for this factoid.
Persons may have a (road trip).
Logical form
[〈det (plur person.n)〉 have.v 〈det (nn road.n trip.n)〉]
Learned by reading
See source sentences for this factoid.
Logical form
[〈det country.n〉 have.v 〈det trip.n〉]
Learned by reading
See source sentences for this factoid.
Logical form
[〈det person.n〉 make.v 〈det trip.n〉]
Learned by reading
See source sentences for this factoid.
Logical form
[〈det trip.n〉 to.p 〈det continent.n〉]
Learned by reading
See source sentences for this factoid.
A person may have a (road trip).
Logical form
[〈det person.n〉 have.v 〈det (nn road.n trip.n)〉]
Learned by reading
See source sentences for this factoid.
Logical form
[〈det person.n〉 take.v 〈det trip.n〉]
Learned by reading
See source sentences for this factoid.
Logical form
[〈det person.n〉 go.v (:p on.p 〈det trip.n〉)]
Learned by reading
See source sentences for this factoid.
Logical form
[〈det trip.n〉 to.p 〈det female.n〉]
Learned by reading
See source sentences for this factoid.
Logical form
[〈det trip.n〉 have.v 〈det part.n〉]
Learned by reading
See source sentences for this factoid.
Sharpened Factoids
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 trips are to an us state.
Logical form
(many x: [x trip.n]
(some y: [y us-state.n]
[x to.p y]))Sharpened from
Click on a source factoid to see the original English sentences it was learned from.
Many trips are to a continent.
Logical form
(many x: [x trip.n]
(some y: [y continent.n]
[x to.p y]))Sharpened from
Click on a source factoid to see the original English sentences it was learned from.
Many trips have a part as a part.
Logical form
(many x: [x trip.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 trips have an end as a part.
Logical form
(many x: [x trip.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.