Unsharpened Factoids
Logical form
[〈det female.n〉 (be.pasv name.v)]
Learned by reading
See source sentences for this factoid.
Logical form
[〈det woman.n〉 (be.pasv name.v)]
Learned by reading
See source sentences for this factoid.
Logical form
[〈det (plur person.n)〉 (be.pasv name.v)]
Learned by reading
See source sentences for this factoid.
Logical form
[〈det person.n〉 name.v 〈det female.n〉]
Learned by reading
See source sentences for this factoid.
Logical form
[〈det character.n〉 (be.pasv name.v)]
Learned by reading
See source sentences for this factoid.
Logical form
[〈det (plur person.n)〉 name.v 〈det female.n〉]
Learned by reading
See source sentences for this factoid.
Logical form
[〈det person.n〉 name.v 〈det male.n〉]
Learned by reading
See source sentences for this factoid.
Logical form
[(k someone.n) (be.pasv name.v)]
Learned by reading
See source sentences for this factoid.
Logical form
[〈det daughter.n〉 (be.pasv name.v)]
Learned by reading
See source sentences for this factoid.
Sharpened Factoids
Many US presidents occasionally name a male.
Logical form
(many x: [x us-president.n]
(occasional e
(some y: [y male.n]
[[x name.v y] ** e])))Sharpened from
Click on a source factoid to see the original English sentences it was learned from.
Many males occasionally name a political leader.
Logical form
(many x: [x male.n]
(occasional e
(some y: [y political-leader.n]
[[x name.v y] ** e])))Sharpened from
Click on a source factoid to see the original English sentences it was learned from.