Unsharpened Factoids
Logical form
[〈det person.n〉 have.v 〈det sort.n〉]
Learned by reading
See source sentences for this factoid.
A person can be a sort of person.
Logical form
[〈det person.n〉 (:a 〈det sort.n〉 (:p of.p (k person.n)))]
Learned by reading
See source sentences for this factoid.
A female can be a sort of girl.
Logical form
[〈det female.n〉 (:a 〈det sort.n〉 (:p of.p (k girl.n)))]
Learned by reading
See source sentences for this factoid.
Logical form
[〈det person.n〉 feel.v (k sort.n)]
Learned by reading
See source sentences for this factoid.
Logical form
[〈det male.n〉 (:a 〈det sort.n〉 (:p of.p (k man.n)))]
Learned by reading
See source sentences for this factoid.
Thinkers may promote a sort of approach.
Logical form
[(k (plur thinker.n)) promote.v (:a 〈the sort.n〉 (:p of.p (k approach.n)))]
Learned by reading
See source sentences for this factoid.
A female can be a sort of woman.
Logical form
[〈det female.n〉 (:a 〈det sort.n〉 (:p of.p (k woman.n)))]
Learned by reading
See source sentences for this factoid.
Logical form
[〈det male.n〉 (:a 〈the sort.n〉 (:p of.p (k guy.n)))]
Learned by reading
See source sentences for this factoid.
Persons can be a sort of persons.
Logical form
[〈det (plur person.n)〉 (:a 〈det sort.n〉 (:p of.p 〈det person.n〉))]
Learned by reading
See source sentences for this factoid.
Sharpened Factoids
Many sorts are occasionally friendly.
Logical form
(many x: [x sort.n]
(occasional e [[x friendly.a] ** e]))Sharpened from
Click on a source factoid to see the original English sentences it was learned from.