Unsharpened Factoids
Logical form
[〈det cat.n〉 in.p 〈det house.n〉]
Learned by reading
See source sentences for this factoid.
Logical form
[〈det (plur cat.n)〉 in.p 〈det house.n〉]
Learned by reading
See source sentences for this factoid.
A person may have a (house cat).
Logical form
[〈det person.n〉 have.v 〈det (nn house.n cat.n)〉]
Learned by reading
See source sentences for this factoid.
Logical form
[〈det house.n〉 full.a (:p of.p 〈det cat.n〉)]
Learned by reading
See source sentences for this factoid.
A language may have a (house cat).
Logical form
[〈det language.n〉 have.v 〈det (nn house.n cat.n)〉]
Learned by reading
See source sentences for this factoid.
Marsupials can be about a size of a (house cat).
Logical form
[(k (plur marsupial.n)) about.p (:a 〈the size.n〉 (:p of.p 〈a{n} (nn house.n cat.n)〉))]
Learned by reading
See source sentences for this factoid.
Logical form
[〈det house.n〉 with.p 〈det (plur cat.n)〉]
Learned by reading
See source sentences for this factoid.
A (house cat) may have author.
Logical form
[〈the (nn house.n cat.n)〉 have.v (k author.n)]
Learned by reading
See source sentences for this factoid.
Logical form
[〈det (nn house.n cat.n)〉 white.a]
Learned by reading
See source sentences for this factoid.
A female may have a (glow lighting house cat).
Logical form
[〈det female.n〉 have.v 〈a{n} (nn glow.n lighting.n house.n cat.n)〉]
Learned by reading
See source sentences for this factoid.
A (glow lighting house cat) can be congruent with a composer.
Logical form
[〈a{n} (nn glow.n lighting.n house.n cat.n)〉 congruent.a (:p with.p 〈det composer.n〉)]
Learned by reading
See source sentences for this factoid.
Logical form
[〈det (nn house.n cat.n)〉 loved.a]
Learned by reading
See source sentences for this factoid.
A (house cat) can be adorable.
Logical form
[〈det (nn house.n cat.n)〉 adorable.a]
Learned by reading
See source sentences for this factoid.
Logical form
[〈a{n} cat.n〉 enter.v 〈the house.n〉]
Learned by reading
See source sentences for this factoid.
Sharpened Factoids
Many cats occasionally get into a house.
Logical form
(many x: [x cat.n]
(occasional e
(some y: [y house.n]
[[x get-into.v y] ** e])))Sharpened from
Click on a source factoid to see the original English sentences it was learned from.
Many cats occasionally wander into a house.
Logical form
(many x: [x cat.n]
(occasional e
(some y: [y house.n]
[[x wander-into.v y] ** e])))Sharpened from
Click on a source factoid to see the original English sentences it was learned from.