Unsharpened Factoids
Logical form
[〈det person.n〉 get.v (:p into.p 〈det car.n〉)]
Learned by reading
See source sentences for this factoid.
A female may have a (car seat).
Logical form
[〈det female.n〉 have.v 〈det (nn car.n seat.n)〉]
Learned by reading
See source sentences for this factoid.
Logical form
[〈det person.n〉 see.v 〈det car.n〉]
Learned by reading
See source sentences for this factoid.
A person may have a (car insurance).
Logical form
[〈det person.n〉 have.v 〈det (nn car.n insurance.n)〉]
Learned by reading
See source sentences for this factoid.
Logical form
[〈det person.n〉 crash.v 〈det car.n〉]
Learned by reading
See source sentences for this factoid.
Logical form
[〈det car.n〉 have.v 〈det trunk.n〉]
Learned by reading
See source sentences for this factoid.
Logical form
[〈det person.n〉 take.v 〈det car.n〉]
Learned by reading
See source sentences for this factoid.
Logical form
[〈det car.n〉 in.p (k condition.n)]
Learned by reading
See source sentences for this factoid.
Logical form
[〈det car.n〉 have.v 〈det seat.n〉]
Learned by reading
See source sentences for this factoid.
Logical form
[〈det person.n〉 want.v 〈det car.n〉]
Learned by reading
See source sentences for this factoid.
Logical form
[〈det car.n〉 have.v 〈det side.n〉]
Learned by reading
See source sentences for this factoid.
Logical form
[〈det car.n〉 for.p 〈det person.n〉]
Learned by reading
See source sentences for this factoid.
Sharpened Factoids
Many cars have a trunk as a part.
Logical form
(many x: [x car.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.
Many cars have a seat as a part.
Logical form
(many x: [x car.n]
(some e: [[x | e] enduring]
(some y: [y seat.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 cars have a side as a part.
Logical form
(many x: [x car.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.