Unsharpened Factoids
Logical form
[〈det person.n〉 have.v 〈det life.n〉]
Learned by reading
See source sentences for this factoid.
Logical form
[〈det person.n〉 live.v 〈det life.n〉]
Learned by reading
See source sentences for this factoid.
Logical form
[〈det time.n〉 in.p 〈det life.n〉]
Learned by reading
See source sentences for this factoid.
Logical form
[〈det life.n〉 have.v 〈det part.n〉]
Learned by reading
See source sentences for this factoid.
A person may have a (love life).
Logical form
[〈det person.n〉 have.v 〈det (nn love.n life.n)〉]
Learned by reading
See source sentences for this factoid.
A person may have an (adult life).
Logical form
[〈det person.n〉 have.v 〈det (nn adult.n life.n)〉]
Learned by reading
See source sentences for this factoid.
Logical form
[〈det (plur person.n)〉 in.p 〈det life.n〉]
Learned by reading
See source sentences for this factoid.
Logical form
[〈det person.n〉 in.p 〈det life.n〉]
Learned by reading
See source sentences for this factoid.
Logical form
[〈det point.n〉 in.p 〈det life.n〉]
Learned by reading
See source sentences for this factoid.
Logical form
[〈det life.n〉 have.v 〈det love.n〉]
Learned by reading
See source sentences for this factoid.
A person may have a (life story).
Logical form
[〈det person.n〉 have.v 〈det (nn life.n story.n)〉]
Learned by reading
See source sentences for this factoid.
A way can be constituted-of-or-filled-with life.
Logical form
[〈det way.n〉 constituted-of-or-filled-with.a (k life.n)]
Learned by reading
See source sentences for this factoid.
Sharpened Factoids
Logical form
(many x: [x life.n]
(some e: [[x | e] enduring]
[[x everyday.a] ** e]))Sharpened from
Click on a source factoid to see the original English sentences it was learned from.
Logical form
(many x: [x life.n]
(some e: [[x | e] enduring]
(some y
[[y aspect-of.n x] ** e])))Sharpened from
Click on a source factoid to see the original English sentences it was learned from.