Unsharpened Factoids
Logical form
[〈det (plur operator.n)〉 mobile.a]
Learned by reading
See source sentences for this factoid.
Logical form
[〈det (plur person.n)〉 have.v 〈det (plur operator.n)〉]
Learned by reading
See source sentences for this factoid.
A person may have an operator.
Logical form
[〈det person.n〉 have.v 〈det operator.n〉]
Learned by reading
See source sentences for this factoid.
Logical form
[〈det (plur operator.n)〉 experienced.a]
Learned by reading
See source sentences for this factoid.
A (data entry operator) can be international.
Logical form
[〈det (nn data.n entry.n operator.n)〉 international.a]
Learned by reading
See source sentences for this factoid.
A person may have a (network operator).
Logical form
[〈det person.n〉 have.v 〈det (nn network.n operator.n)〉]
Learned by reading
See source sentences for this factoid.
A (phone operator) can be mobile.
Logical form
[〈det (nn phone.n operator.n)〉 mobile.a]
Learned by reading
See source sentences for this factoid.
A country may have an operator.
Logical form
[〈det country.n〉 have.v 〈det operator.n〉]
Learned by reading
See source sentences for this factoid.
A (cable operator) can be compatible.
Logical form
[〈det (nn cable.n operator.n)〉 compatible.a]
Learned by reading
See source sentences for this factoid.
(network operators) can be mobile.
Logical form
[(:q det (nn network.n (plur operator.n))) mobile.a]
Learned by reading
See source sentences for this factoid.
An operator can be in a country.
Logical form
[〈det operator.n〉 in.p 〈det country.n〉]
Learned by reading
See source sentences for this factoid.
(phone operators) can be mobile.
Logical form
[(:q det (nn phone.n (plur operator.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.
Many persons have a person as a operator.
Logical form
(many x: [x person.n]
(some e:
(some y: [y person.n]
[[x (have-as operator.n) y] ** e])))Sharpened from
Click on a source factoid to see the original English sentences it was learned from.
Many operators are experienced.
Logical form
(many x: [x operator.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.
Many or some persons are operators.
Logical form
(many-or-some x: [x person.n]
[x operator.n])Sharpened from
Click on a source factoid to see the original English sentences it was learned from.
Many countries have a person as a operator.
Logical form
(many x: [x country.n]
(some e:
(some y: [y person.n]
[[x (have-as operator.n) y] ** e])))Sharpened from
Click on a source factoid to see the original English sentences it was learned from.
Many or some operators are linear.
Logical form
(many-or-some x: [x operator.n]
(some e: [[x | e] enduring]
[[x linear.a] ** e]))Sharpened from
Click on a source factoid to see the original English sentences it was learned from.
Many scientists have a person as a operator.
Logical form
(many x: [x scientist.n]
(some e:
(some y: [y person.n]
[[x (have-as operator.n) y] ** e])))Sharpened from
Click on a source factoid to see the original English sentences it was learned from.
Many or some operators are logical.
Logical form
(many-or-some x: [x operator.n]
(some e: [[x | e] enduring]
[[x logical.a] ** e]))Sharpened from
Click on a source factoid to see the original English sentences it was learned from.
Many or some operators are incumbent.
Logical form
(many-or-some x: [x operator.n]
(some e: [[x | e] enduring]
[[x incumbent.a] ** e]))Sharpened from
Click on a source factoid to see the original English sentences it was learned from.
Many or some operators are civilian.
Logical form
(many-or-some x: [x operator.n]
(some e: [[x | e] enduring]
[[x civilian.a] ** e]))Sharpened from
Click on a source factoid to see the original English sentences it was learned from.
Many or some operators are mathematical.
Logical form
(many-or-some x: [x operator.n]
(some e: [[x | e] enduring]
[[x mathematical.a] ** e]))Sharpened from
Click on a source factoid to see the original English sentences it was learned from.
Many companies have a person as a operator.
Logical form
(many x: [x company.n]
(some e:
(some y: [y person.n]
[[x (have-as operator.n) y] ** e])))Sharpened from
Click on a source factoid to see the original English sentences it was learned from.
Many or some operators are bounded.
Logical form
(many-or-some x: [x operator.n]
(some e: [[x | e] enduring]
[[x bounded.a] ** e]))Sharpened from
Click on a source factoid to see the original English sentences it was learned from.
Many or some operators are shady.
Logical form
(many-or-some x: [x operator.n]
(some e: [[x | e] enduring]
[[x shady.a] ** e]))Sharpened from
Click on a source factoid to see the original English sentences it was learned from.
Many or some operators are symmetric.
Logical form
(many-or-some x: [x operator.n]
(some e: [[x | e] enduring]
[[x symmetric.a] ** e]))Sharpened from
Click on a source factoid to see the original English sentences it was learned from.