Unsharpened Factoids
Logical form
[〈det person.n〉 in.p (k heaven.n)]
Learned by reading
See source sentences for this factoid.
Logical form
[〈det person.n〉 have.v 〈det heaven.n〉]
Learned by reading
See source sentences for this factoid.
Logical form
[〈det person.n〉 go.v (:p to.p (k heaven.n))]
Learned by reading
See source sentences for this factoid.
Logical form
[〈det person.n〉 meet.v (:p in.p (k heaven.n))]
Learned by reading
See source sentences for this factoid.
Logical form
[(k heaven.n) have.v 〈det sake.n〉]
Learned by reading
See source sentences for this factoid.
Logical form
[(k heaven.n) help.v 〈det person.n〉]
Learned by reading
See source sentences for this factoid.
Logical form
[〈det person.n〉 get.v (:p to.p (k heaven.n))]
Learned by reading
See source sentences for this factoid.
Logical form
[(k heaven.n) help.v 〈det (plur person.n)〉]
Learned by reading
See source sentences for this factoid.
A match may be made in heaven.
Logical form
[〈det match.n〉 (be.pasv make.v) (:p in.p (k heaven.n))]
Learned by reading
See source sentences for this factoid.
A person may believe in heaven.
Logical form
[〈det person.n〉 believe.v (:p in.p (k heaven.n))]
Learned by reading
See source sentences for this factoid.
Logical form
[(k heaven.n) for.p 〈det person.n〉]
Learned by reading
See source sentences for this factoid.
Logical form
[〈det father.n〉 in.p (k heaven.n)]
Learned by reading
See source sentences for this factoid.
A male may ascend into heaven.
Logical form
[〈det male.n〉 ascend.v (:p into.p (k heaven.n))]
Learned by reading
See source sentences for this factoid.
Sharpened Factoids
All or most persons occasionally believe in a heaven.
Logical form
(all-or-most x: [x person.n]
(occasional e
(some y: [y heaven.n]
[[x believe-in.v y] ** e])))Sharpened from
Click on a source factoid to see the original English sentences it was learned from.
All or most males occasionally ascend into a heaven.
Logical form
(all-or-most x: [x male.n]
(occasional e
(some y: [y heaven.n]
[[x ascend-into.v y] ** e])))Sharpened from
Click on a source factoid to see the original English sentences it was learned from.
Many persons occasionally hear from a heaven.
Logical form
(many x: [x person.n]
(occasional e
(some y: [y heaven.n]
[[x hear-from.v y] ** e])))Sharpened from
Click on a source factoid to see the original English sentences it was learned from.
Many persons occasionally get into a heaven.
Logical form
(many x: [x person.n]
(occasional e
(some y: [y heaven.n]
[[x get-into.v y] ** e])))Sharpened from
Click on a source factoid to see the original English sentences it was learned from.
Many persons occasionally ascend to a heaven.
Logical form
(many x: [x person.n]
(occasional e
(some y: [y heaven.n]
[[x ascend-to.v y] ** e])))Sharpened from
Click on a source factoid to see the original English sentences it was learned from.