Quantifiers in Language and Logic
GPTKB entity
Statements (99)
| Predicate | Object |
|---|---|
| gptkbp:instanceOf |
gptkb:concept
|
| gptkbp:concerns |
existence
universality scope expressions of quantity |
| gptkbp:example |
gptkb:most
no several many some few all every at least one at most five |
| gptkbp:hasProperty |
gptkb:collectivity
gptkb:symmetry asymmetry distributivity binding uniqueness specificity presupposition monotonicity island constraints genericity context dependence conservativity cumulativity domain restriction downward entailment focus sensitivity intersectivity intervening quantifiers non-intersectivity polarity sensitivity quantificational adverbs quantificational ambiguity quantificational asymmetry quantificational collectivity quantificational conservativity quantificational determiners quantificational distributivity quantificational domain quantificational downward entailment quantificational force quantificational intersectivity quantificational monotonicity quantificational non-intersectivity quantificational noun phrases quantificational polarity sensitivity quantificational scope ambiguity quantificational subordination quantificational symmetry quantificational upward entailment quantificational variability quantificational variability effect quantifier float quantifier raising quantifier scope inversion referentiality scope ambiguity strong crossover upward entailment weak crossover |
| gptkbp:hasType |
gptkb:generalized_quantifier
existential quantifier universal quantifier cardinal quantifier collective quantifier definite quantifier distributive quantifier indefinite quantifier interrogative quantifier negative quantifier proportional quantifier |
| gptkbp:importantFor |
gptkb:artificial_intelligence
gptkb:set_theory gptkb:model_theory computer science philosophy of language mathematical proofs natural language understanding syntax-semantics interface formal reasoning |
| gptkbp:includes |
existential quantifier
universal quantifier |
| gptkbp:relatedTo |
gptkb:logic
linguistics quantifier |
| gptkbp:studiedIn |
gptkb:formal_semantics
gptkb:logic predicate logic natural language semantics |
| gptkbp:symbol |
∀
∃ |
| gptkbp:bfsParent |
gptkb:Stanley_Peters
|
| gptkbp:bfsLayer |
8
|
| https://www.w3.org/2000/01/rdf-schema#label |
Quantifiers in Language and Logic
|