Unsharpened Factoids
Logical form
[〈det person.n〉 have.v 〈det human.n〉]
Learned by reading
See source sentences for this factoid.
Logical form
[〈det person.n〉 have.v 〈det (plur human.n)〉]
Learned by reading
See source sentences for this factoid.
Logical form
[〈det (plur person.n)〉 have.v 〈det (plur human.n)〉]
Learned by reading
See source sentences for this factoid.
Logical form
[〈det (plur person.n)〉 as.p (k (plur human.n))]
Learned by reading
See source sentences for this factoid.
A group can be constituted-of-or-filled-with humans.
Logical form
[〈det group.n〉 constituted-of-or-filled-with.a 〈det human.n〉]
Learned by reading
See source sentences for this factoid.
Humans can be unorthodox in a dress.
Logical form
[(k (plur human.n)) unorthodox.a (:p in.p 〈the dress.n〉)]
Learned by reading
See source sentences for this factoid.
Logical form
[(k importance.n) to.p 〈det human.n〉]
Learned by reading
See source sentences for this factoid.
Some percent can be constituted-of-or-filled-with humans.
Logical form
[〈det percent.n〉 constituted-of-or-filled-with.a 〈det human.n〉]
Learned by reading
See source sentences for this factoid.
Logical form
[〈det human.n〉 in.p (k class.n)]
Learned by reading
See source sentences for this factoid.
A crowd can be constituted-of-or-filled-with humans.
Logical form
[〈det crowd.n〉 constituted-of-or-filled-with.a 〈det human.n〉]
Learned by reading
See source sentences for this factoid.
Logical form
[〈det human.n〉 on.p 〈det planet.n〉]
Learned by reading
See source sentences for this factoid.
A person may love complications of a crowd of humans.
Logical form
[〈det person.n〉 love.v (:a 〈the (plur complication.n)〉 (:p of.p (:a 〈a{n} crowd.n〉 (:p of.p (k (plur human.n))))))]
Learned by reading
See source sentences for this factoid.
Sharpened Factoids
Many humans are occasionally rational.
Logical form
(many x: [x human.n]
(occasional e [[x rational.a] ** e]))Sharpened from
Click on a source factoid to see the original English sentences it was learned from.
Many or some humans are rational.
Logical form
(many-or-some x: [x human.n]
(some e: [[x | e] enduring]
[[x rational.a] ** e]))Sharpened from
Click on a source factoid to see the original English sentences it was learned from.
Many differences are between a human.
Logical form
(many x: [x difference.n]
(some y: [y human.n]
[x between.p y]))Sharpened from
Click on a source factoid to see the original English sentences it was learned from.