Unsharpened Factoids
Logical form
[〈det (plur device.n)〉 mobile.a]
Learned by reading
See source sentences for this factoid.
Logical form
[〈det (plur operator.n)〉 mobile.a]
Learned by reading
See source sentences for this factoid.
Logical form
[〈det (plur application.n)〉 mobile.a]
Learned by reading
See source sentences for this factoid.
Logical form
[〈det (plur service.n)〉 mobile.a]
Learned by reading
See source sentences for this factoid.
Sharpened Factoids
Logical form
(many x: [x operator.n]
(some e: [[x | e] enduring]
[[x mobile.a] ** e]))Sharpened from
Click on a source factoid to see the original English sentences it was learned from.
Logical form
(many x: [x application.n]
[x mobile.a])Sharpened from
Click on a source factoid to see the original English sentences it was learned from.
Logical form
(many x: [x technology.n]
[x mobile.a])Sharpened from
Click on a source factoid to see the original English sentences it was learned from.