Unsharpened Factoids
Logical form
[〈det person.n〉 have.v 〈det logic.n〉]
Learned by reading
See source sentences for this factoid.
Logical form
[〈det program.n〉 have.v 〈det logic.n〉]
Learned by reading
See source sentences for this factoid.
A person may understand a logic.
Logical form
[〈det person.n〉 understand.v 〈det logic.n〉]
Learned by reading
See source sentences for this factoid.
A sequence may be specified by a logic.
Logical form
[〈a{n} sequence.n〉 (be.pasv specify.v) (:p by.p 〈the logic.n〉)]
Learned by reading
See source sentences for this factoid.
Logical form
[〈det person.n〉 see.v 〈det logic.n〉]
Learned by reading
See source sentences for this factoid.
A logic can be that something-is-the-case.
Logical form
[〈det logic.n〉(that.p something-is-the-case)]
Learned by reading
See source sentences for this factoid.
Logical form
[〈det person.n〉 follow.v 〈det logic.n〉]
Learned by reading
See source sentences for this factoid.
Sharpened Factoids
All or most persons occasionally understand a logic.
Logical form
(all-or-most x: [x person.n]
(occasional e
(some y: [y logic.n]
[[x understand.v y] ** e])))Sharpened from
Click on a source factoid to see the original English sentences it was learned from.
Many sequences are specify bied logic.
Logical form
(many x: [x sequence.n]
[x (pasv specify-by.v) logic.n])Sharpened from
Click on a source factoid to see the original English sentences it was learned from.
Many or some logics are circular.
Logical form
(many-or-some x: [x logic.n]
[x circular.a])Sharpened from
Click on a source factoid to see the original English sentences it was learned from.