Unsharpened Factoids
Logical form
[〈det person.n〉 have.v 〈det tree.n〉]
Learned by reading
See source sentences for this factoid.
A religious-holiday may have a tree.
Logical form
[〈det religious-holiday.n〉 have.v 〈det tree.n〉]
Learned by reading
See source sentences for this factoid.
Logical form
[〈det (plur person.n)〉 have.v 〈det (plur tree.n)〉]
Learned by reading
See source sentences for this factoid.
A person may have a (family tree).
Logical form
[〈det person.n〉 have.v 〈det (nn family.n tree.n)〉]
Learned by reading
See source sentences for this factoid.
A female may have a (family tree).
Logical form
[〈det female.n〉 have.v 〈det (nn family.n tree.n)〉]
Learned by reading
See source sentences for this factoid.
Logical form
[〈det tree.n〉 have.v 〈det top.n〉]
Learned by reading
See source sentences for this factoid.
Sharpened Factoids
All or most trees have a branch as a part.
Logical form
(all-or-most x: [x tree.n]
(some e: [[x | e] enduring]
(some y: [y branch.n]
[[x have-as-part.v y] ** e])))Sharpened from
Click on a source factoid to see the original English sentences it was learned from.
Logical form
(many x: [x tree.n]
(some e: [[x | e] enduring]
(some y
[[y branch-of.n x] ** e])))Sharpened from
Click on a source factoid to see the original English sentences it was learned from.
All or most trees have a trunk as a part.
Logical form
(all-or-most x: [x tree.n]
(some e: [[x | e] enduring]
(some y: [y trunk.n]
[[x have-as-part.v y] ** e])))Sharpened from
Click on a source factoid to see the original English sentences it was learned from.