Unsharpened Factoids
Logical form
[〈det us-city.n〉 have.v 〈det (plur jet.n)〉]
Learned by reading
See source sentences for this factoid.
Logical form
[〈det male.n〉 have.v 〈det jet.n〉]
Learned by reading
See source sentences for this factoid.
Logical form
[〈det person.n〉 have.v 〈det (plur jet.n)〉]
Learned by reading
See source sentences for this factoid.
Logical form
[〈det (plur person.n)〉 have.v 〈det jet.n〉]
Learned by reading
See source sentences for this factoid.
Logical form
[〈det (plur person.n)〉 have.v 〈det (plur jet.n)〉]
Learned by reading
See source sentences for this factoid.
Logical form
[〈det language.n〉 have.v 〈det (plur jet.n)〉]
Learned by reading
See source sentences for this factoid.
Logical form
[〈det world-city.n〉 have.v 〈det (plur jet.n)〉]
Learned by reading
See source sentences for this factoid.
Logical form
[〈det us-state.n〉 have.v 〈det (plur jet.n)〉]
Learned by reading
See source sentences for this factoid.
A person may have a (jet lag).
Logical form
[〈det person.n〉 have.v 〈det (nn jet.n lag.n)〉]
Learned by reading
See source sentences for this factoid.
A jet can be constituted-of-or-filled-with water.
Logical form
[〈det jet.n〉 constituted-of-or-filled-with.a (k water.n)]
Learned by reading
See source sentences for this factoid.
A (luxury jet) can be over a top.
Logical form
[〈det (nn luxury.n jet.n)〉 over.p 〈det top.n〉]
Learned by reading
See source sentences for this factoid.
Logical form
[〈det person.n〉 have.v (k jet.n)]
Learned by reading
See source sentences for this factoid.
Logical form
[〈det airline.n〉 have.v 〈det jet.n〉]
Learned by reading
See source sentences for this factoid.
Sharpened Factoids
Many airlines have a jet as a part.
Logical form
(many x: [x airline.n]
(some e: [[x | e] enduring]
(some y: [y jet.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 males occasionally play for jets.
Logical form
(many x: [x male.n]
(occasional e
(some y: [y (plur jet.n)]
[[x play-for.v y] ** e])))Sharpened from
Click on a source factoid to see the original English sentences it was learned from.
Many or some jets are regional.
Logical form
(many-or-some x: [x jet.n]
(some e: [[x | e] enduring]
[[x regional.a] ** e]))Sharpened from
Click on a source factoid to see the original English sentences it was learned from.
Many governors have a jet as a part.
Logical form
(many x: [x governor.n]
(some e: [[x | e] enduring]
(some y: [y jet.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 or some jets are personal.
Logical form
(many-or-some x: [x jet.n]
(some e: [[x | e] enduring]
[[x personal.a] ** e]))Sharpened from
Click on a source factoid to see the original English sentences it was learned from.
Many jets have a member as a part.
Logical form
(many x: [x jet.n]
(some e: [[x | e] enduring]
(some y: [y member.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.