Unsharpened Factoids
Logical form
[〈det (plur tree.n)〉 evergreen.a]
Learned by reading
See source sentences for this factoid.
Logical form
[〈det person.n〉 plant.v 〈det tree.n〉]
Learned by reading
See source sentences for this factoid.
Logical form
[〈det person.n〉 see.v 〈det (plur tree.n)〉]
Learned by reading
See source sentences for this factoid.
Logical form
[〈det person.n〉 bark_up.v 〈det tree.n〉]
Learned by reading
See source sentences for this factoid.
Logical form
[〈det tree.n〉 have.v 〈det base.n〉]
Learned by reading
See source sentences for this factoid.
Logical form
[〈det tree.n〉 (be.pasv plant.v)]
Learned by reading
See source sentences for this factoid.
Logical form
[〈det tree.n〉 in.p 〈det yard.n〉]
Learned by reading
See source sentences for this factoid.
A stand can be constituted-of-or-filled-with trees.
Logical form
[〈det stand.n〉 constituted-of-or-filled-with.a 〈det tree.n〉]
Learned by reading
See source sentences for this factoid.
Logical form
[〈det person.n〉 like.v 〈det tree.n〉]
Learned by reading
See source sentences for this factoid.
Logical form
[〈det tree.n〉 have.v 〈det fruit.n〉]
Learned by reading
See source sentences for this factoid.
Logical form
[〈det knowledge.n〉 have.v 〈det tree.n〉]
Learned by reading
See source sentences for this factoid.
Thousands can be constituted-of-or-filled-with trees.
Logical form
[〈det thousand.n〉 constituted-of-or-filled-with.a 〈det tree.n〉]
Learned by reading
See source sentences for this factoid.
Logical form
[〈det tree.n〉 have.v 〈det branch.n〉]
Learned by reading
See source sentences for this factoid.
Sharpened Factoids
Many or some trees are cut downed at some time.
Logical form
(many-or-some x: [x tree.n]
(some e: [[x (pasv cut-down.v)] ** e]))Sharpened from
Click on a source factoid to see the original English sentences it was learned from.
Many or some trees are artificial.
Logical form
(many-or-some x: [x tree.n]
(some e: [[x | e] enduring]
[[x artificial.a] ** 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 shade-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 root as a part.
Logical form
(all-or-most x: [x tree.n]
(some e: [[x | e] enduring]
(some y: [y root.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.
Many or some trees are scattered.
Logical form
(many-or-some x: [x tree.n]
(some e: [[x | e] enduring]
[[x scattered.a] ** e]))Sharpened from
Click on a source factoid to see the original English sentences it was learned from.