Unsharpened Factoids
Logical form
[〈det person.n〉 have.v 〈det iphone.n〉]
Learned by reading
See source sentences for this factoid.
Logical form
[〈det (plur person.n)〉 have.v 〈det (plur iphone.n)〉]
Learned by reading
See source sentences for this factoid.
Logical form
[〈det person.n〉 get.v 〈det iphone.n〉]
Learned by reading
See source sentences for this factoid.
A person can be an owner of an iphone.
Logical form
[〈det person.n〉 (:a 〈the owner.n〉 (:p of.p 〈a{n} iphone.n〉))]
Learned by reading
See source sentences for this factoid.
Logical form
[〈det person.n〉 love.v 〈det iphone.n〉]
Learned by reading
See source sentences for this factoid.
Logical form
[〈det person.n〉 want.v 〈det iphone.n〉]
Learned by reading
See source sentences for this factoid.
Logical form
[〈det person.n〉 buy.v 〈det iphone.n〉]
Learned by reading
See source sentences for this factoid.
Logical form
[〈det person.n〉 use.v 〈det iphone.n〉]
Learned by reading
See source sentences for this factoid.
An application can be for an iphone.
Logical form
[〈det application.n〉 for.p 〈det iphone.n〉]
Learned by reading
See source sentences for this factoid.
Logical form
[〈det company.n〉 have.v 〈det iphone.n〉]
Learned by reading
See source sentences for this factoid.
Logical form
[〈det person.n〉 own.v 〈det iphone.n〉]
Learned by reading
See source sentences for this factoid.
Logical form
[〈det app.n〉 for.p 〈det iphone.n〉]
Learned by reading
See source sentences for this factoid.
Logical form
[〈det iphone.n〉 have.v 〈det version.n〉]
Learned by reading
See source sentences for this factoid.
Sharpened Factoids
Many persons owner of an iphone at some time.
Logical form
(many x: [x person.n]
(some y: [y iphone.n]
(some e: [[x (owner-of.n y)] ** e])))Sharpened from
Click on a source factoid to see the original English sentences it was learned from.
Many iphones occasionally come with a client.
Logical form
(many x: [x iphone.n]
(occasional e
(some y: [y client.n]
[[x come-with.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 iphone.n]
(some e: [[x | e] enduring]
(some y
[[y feature-of.n x] ** e])))Sharpened from
Click on a source factoid to see the original English sentences it was learned from.