Unsharpened Factoids
Logical form
[〈det male.n〉 have.v 〈det helmet.n〉]
Learned by reading
See source sentences for this factoid.
Logical form
[〈det (plur person.n)〉 have.v 〈det (plur helmet.n)〉]
Learned by reading
See source sentences for this factoid.
Logical form
[〈det person.n〉 wear.v 〈det helmet.n〉]
Learned by reading
See source sentences for this factoid.
Logical form
[〈det male.n〉 wear.v 〈a{n} helmet.n〉]
Learned by reading
See source sentences for this factoid.
Persons may strap_on (motorcycle helmets).
Logical form
[(k (plur person.n)) strap_on.v (:q the (nn motorcycle.n (plur helmet.n)))]
Learned by reading
See source sentences for this factoid.
A person may have a (bike helmet).
Logical form
[〈det person.n〉 have.v 〈det (nn bike.n helmet.n)〉]
Learned by reading
See source sentences for this factoid.
Logical form
[〈det male.n〉 take_off.v 〈the helmet.n〉]
Learned by reading
See source sentences for this factoid.
A male may have a (flight helmet).
Logical form
[〈det male.n〉 have.v 〈det (nn flight.n helmet.n)〉]
Learned by reading
See source sentences for this factoid.
Logical form
[〈det male.n〉 remove.v 〈the helmet.n〉]
Learned by reading
See source sentences for this factoid.
Logical form
[〈det person.n〉 get.v 〈det helmet.n〉]
Learned by reading
See source sentences for this factoid.
A female may take_off a helmet.
Logical form
[〈det female.n〉 take_off.v 〈the helmet.n〉]
Learned by reading
See source sentences for this factoid.
Sharpened Factoids
Many or some males take off a helmet.
Logical form
(many-or-some x: [x male.n]
(some e:
(some y: [y helmet.n]
[[x take-off.v y] ** e])))Sharpened from
Click on a source factoid to see the original English sentences it was learned from.
Many or some females take off a helmet.
Logical form
(many-or-some x: [x female.n]
(some e:
(some y: [y helmet.n]
[[x take-off.v y] ** e])))Sharpened from
Click on a source factoid to see the original English sentences it was learned from.
Many helmets have a back as a part.
Logical form
(many x: [x helmet.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.
Many males occasionally pull off a helmet.
Logical form
(many x: [x male.n]
(occasional e
(some y: [y helmet.n]
[[x pull-off.v y] ** e])))Sharpened from
Click on a source factoid to see the original English sentences it was learned from.
Many helmets have a side as a part.
Logical form
(many x: [x helmet.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.