Unsharpened Factoids
Logical form
[〈det male.n〉 have.v 〈det term.n〉]
Learned by reading
See source sentences for this factoid.
Logical form
[〈det (plur person.n)〉 have.v 〈det (plur term.n)〉]
Learned by reading
See source sentences for this factoid.
Logical form
[〈det female.n〉 have.v 〈det term.n〉]
Learned by reading
See source sentences for this factoid.
Logical form
[〈det person.n〉 have.v 〈det (plur term.n)〉]
Learned by reading
See source sentences for this factoid.
Logical form
[〈det term.n〉 undergo.v 〈det use.n〉]
Learned by reading
See source sentences for this factoid.
Logical form
[〈det person.n〉 come.v (:p to.p 〈det term.n〉)]
Learned by reading
See source sentences for this factoid.
Logical form
[〈det person.n〉 use.v 〈det term.n〉]
Learned by reading
See source sentences for this factoid.
Logical form
[〈det term.n〉 have.v 〈det end.n〉]
Learned by reading
See source sentences for this factoid.
A person may be come to terms.
Logical form
[〈det person.n〉 (be.pasv come.v) (:p to.p 〈det term.n〉)]
Learned by reading
See source sentences for this factoid.
A us-president may have a term.
Logical form
[〈det us-president.n〉 have.v 〈det term.n〉]
Learned by reading
See source sentences for this factoid.
Logical form
[〈det male.n〉 serve.v 〈det (plur term.n)〉]
Learned by reading
See source sentences for this factoid.
Logical form
[〈det person.n〉 on.p 〈det term.n〉]
Learned by reading
See source sentences for this factoid.
Sharpened Factoids
Many terms have an end as a part.
Logical form
(many x: [x term.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.
Logical form
(many x: [x term.n]
(some e: [[x | e] enduring]
[[x practical.a] ** e]))Sharpened from
Click on a source factoid to see the original English sentences it was learned from.
Logical form
(many x: [x term.n]
(some e: [[x | e] enduring]
(some y
[[y sense-of.n x] ** e])))Sharpened from
Click on a source factoid to see the original English sentences it was learned from.
Logical form
(many x: [x term.n]
(some e: [[x | e] enduring]
(some y
[[y meaning-of.n x] ** e])))Sharpened from
Click on a source factoid to see the original English sentences it was learned from.
Logical form
(many x: [x term.n]
(some e: [[x | e] enduring]
[[x friendly.a] ** e]))Sharpened from
Click on a source factoid to see the original English sentences it was learned from.
Many deals have a term as a part.
Logical form
(many x: [x deal.n]
(some e: [[x | e] enduring]
(some y: [y term.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 comfortable with terms.
Logical form
(all-or-most x: [x person.n]
(occasional e
(some y: [y (plur term.n)]
[[x comfortable-with.v y] ** e])))Sharpened from
Click on a source factoid to see the original English sentences it was learned from.