Unsharpened Factoids
A female can be known for a role.
Logical form
[〈det female.n〉 known.a (:p for.p 〈the role.n〉)]
Learned by reading
See source sentences for this factoid.
Logical form
[〈det (plur problem.n)〉 known.a]
Learned by reading
See source sentences for this factoid.
A male can be known for a work.
Logical form
[〈det male.n〉 known.a (:p for.p 〈det work.n〉)]
Learned by reading
See source sentences for this factoid.
A male can be known for a role.
Logical form
[〈det male.n〉 known.a (:p for.p 〈det role.n〉)]
Learned by reading
See source sentences for this factoid.
Sharpened Factoids
Logical form
(many x: [x universe.n]
[x known.a])Sharpened from
Click on a source factoid to see the original English sentences it was learned from.
Logical form
(many x: [x presence.n]
[x known.a])Sharpened from
Click on a source factoid to see the original English sentences it was learned from.
Many or some quantities are known.
Logical form
(many-or-some x: [x quantity.n]
[x known.a])Sharpened from
Click on a source factoid to see the original English sentences it was learned from.
Many or some appearances are known.
Logical form
(many-or-some x: [x appearance.n]
[x known.a])Sharpened from
Click on a source factoid to see the original English sentences it was learned from.