Unsharpened Factoids
Logical form
[〈det person.n〉 have.v 〈det tank.n〉]
Learned by reading
See source sentences for this factoid.
Logical form
[〈det (plur person.n)〉 have.v 〈det (plur tank.n)〉]
Learned by reading
See source sentences for this factoid.
A person may have a (gas tank).
Logical form
[〈det person.n〉 have.v 〈det (nn gas.n tank.n)〉]
Learned by reading
See source sentences for this factoid.
Logical form
[〈det language.n〉 have.v 〈det (plur tank.n)〉]
Learned by reading
See source sentences for this factoid.
A female may have a (tank top).
Logical form
[〈det female.n〉 have.v 〈det (nn tank.n top.n)〉]
Learned by reading
See source sentences for this factoid.
A tank can be constituted-of-or-filled-with gas.
Logical form
[〈det tank.n〉 constituted-of-or-filled-with.a (k gas.n)]
Learned by reading
See source sentences for this factoid.
A person may have a (fish tank).
Logical form
[〈det person.n〉 have.v 〈det (nn fish.n tank.n)〉]
Learned by reading
See source sentences for this factoid.
Logical form
[〈det (nn tank.n top.n)〉 white.a]
Learned by reading
See source sentences for this factoid.
Logical form
[〈det (nn tank.n top.n)〉 black.a]
Learned by reading
See source sentences for this factoid.
A person may wear a (tank top).
Logical form
[〈det person.n〉 wear.v 〈det (nn tank.n top.n)〉]
Learned by reading
See source sentences for this factoid.
Logical form
[〈det person.n〉 fill.v 〈det tank.n〉]
Learned by reading
See source sentences for this factoid.
Logical form
[〈det person.n〉 fill_up.v 〈det tank.n〉]
Learned by reading
See source sentences for this factoid.
A female may wear a (tank top).
Logical form
[〈det female.n〉 wear.v 〈a{n} (nn tank.n top.n)〉]
Learned by reading
See source sentences for this factoid.
Logical form
[〈det person.n〉 in.p 〈det tank.n〉]
Learned by reading
See source sentences for this factoid.
A column can be constituted-of-or-filled-with tanks.
Logical form
[〈det column.n〉 constituted-of-or-filled-with.a 〈det tank.n〉]
Learned by reading
See source sentences for this factoid.
Sharpened Factoids
Many tanks have a bottom as a part.
Logical form
(many x: [x tank.n]
(some e: [[x | e] enduring]
(some y: [y bottom.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 tanks occasionally filled with an a quantity of water.
Logical form
(many x: [x tank.n]
(occasional e
(some y: [y (some-quantity-of water.n)]
[[x filled-with.v y] ** e])))Sharpened from
Click on a source factoid to see the original English sentences it was learned from.
Many tanks have a side as a part.
Logical form
(many x: [x tank.n]
(some e: [[x | e] enduring]
(some y: [y side.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 tanks have a top as a part.
Logical form
(many x: [x tank.n]
(some e: [[x | e] enduring]
(some y: [y top.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.