Unsharpened Factoids
Logical form
[〈det (plur person.n)〉 have.v 〈det (plur user.n)〉]
Learned by reading
See source sentences for this factoid.
Logical form
[〈det person.n〉 have.v 〈det (plur user.n)〉]
Learned by reading
See source sentences for this factoid.
Logical form
[〈det male.n〉 have.v 〈det (plur user.n)〉]
Learned by reading
See source sentences for this factoid.
A person may have a (user name).
Logical form
[〈det person.n〉 have.v 〈det (nn user.n name.n)〉]
Learned by reading
See source sentences for this factoid.
Millions can be constituted-of-or-filled-with users.
Logical form
[〈det million.n〉 constituted-of-or-filled-with.a 〈det user.n〉]
Learned by reading
See source sentences for this factoid.
Thousands can be constituted-of-or-filled-with users.
Logical form
[〈det thousand.n〉 constituted-of-or-filled-with.a 〈det user.n〉]
Learned by reading
See source sentences for this factoid.
An (operating system) can be for users.
Logical form
[〈det (nn operating.n system.n)〉 for.p 〈det user.n〉]
Learned by reading
See source sentences for this factoid.
Users can be with (computer needs).
Logical form
[(k (plur user.n)) with.p (k (nn computer.n (plur need.n)))]
Learned by reading
See source sentences for this factoid.
Logical form
[(:q det (nn phone.n (plur user.n))) mobile.a]
Learned by reading
See source sentences for this factoid.
Persons may have a (user base).
Logical form
[〈det (plur person.n)〉 have.v 〈det (nn user.n base.n)〉]
Learned by reading
See source sentences for this factoid.
Logical form
[〈det (plur user.n)〉 advanced.a]
Learned by reading
See source sentences for this factoid.
A person may have a (user profile).
Logical form
[〈det person.n〉 have.v 〈det (nn user.n profile.n)〉]
Learned by reading
See source sentences for this factoid.
Sharpened Factoids
Logical form
(many x: [x user.n]
(some e: [[x | e] enduring]
[[x advanced.a] ** e]))Sharpened from
Click on a source factoid to see the original English sentences it was learned from.
Many users possess a computer.
Logical form
(many x: [x user.n]
(some e:
(some y: [y computer.n]
[[x possess.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 user.n]
(some e: [[x | e] enduring]
[[x experienced.a] ** e]))Sharpened from
Click on a source factoid to see the original English sentences it was learned from.