Quantifiers in Language and Logic
GPTKB entity
Statements (99)
| Predicate | Object |
|---|---|
| gptkbp:instanceOf |
concept
|
| gptkbp:concerns |
existence
universality scope expressions of quantity |
| gptkbp:example |
no
several many some few all most every at least one at most five |
| gptkbp:hasProperty |
gptkb:symmetry
asymmetry distributivity binding uniqueness specificity presupposition monotonicity island constraints genericity collectivity 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 |
existential quantifier
generalized quantifier universal quantifier cardinal quantifier collective quantifier definite quantifier distributive quantifier indefinite quantifier interrogative quantifier negative quantifier proportional quantifier |
| https://www.w3.org/2000/01/rdf-schema#label |
Quantifiers in Language and Logic
|
| gptkbp:importantFor |
gptkb:artificial_intelligence
gptkb:set_theory computer science model theory 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:logic
formal semantics predicate logic natural language semantics |
| gptkbp:symbol |
∀
∃ |
| gptkbp:bfsParent |
gptkb:Stanley_Peters
|
| gptkbp:bfsLayer |
8
|