quantificationType

P20230
predicate

Indicates the specific kind or category of quantity or measurement being applied in a given context.

All labels observed (8)

Label Occurrences
hasQuantityType 3
quantification 3
quantityKind 2

Description generation (PDg)

The one-sentence description above was generated by prompting gpt-5.1 with the predicate name and this instruction.

Instruction
Given a predicate that represents a relationship or action between entities, generate a one-sentence description explaining its meaning.  
# Instructions
Focus on describing the relationship, not the entities themselves. 
# Response Format
Begin the description with \' Indicates...\'
Input
Predicate: quantificationType
Generated description
Indicates the specific kind or category of quantity or measurement being applied in a given context.

Sample triples (13)

Subject Object
Frege’s system in "Grundgesetze der Arithmetik" second-order quantification over concepts
Weierstrass M-test inequality holds for all points in the domain and all indices n via predicate surface "quantification"
Bq activity (of a radionuclide) via predicate surface "quantityKind"
g-2 dimensionless via predicate surface "hasQuantityType"
Tychonoff theorem for products of compact spaces arbitrary (possibly infinite) products via predicate surface "quantification"
Benedict's reagent yes via predicate surface "semiQuantitative"
Benedict's reagent approximate concentration of reducing sugars via predicate surface "semiQuantitativeFor"
Arabic mutaqārib metre quantitative metre via predicate surface "hasQuantityType"
system F
surface form: System F
second-order via predicate surface "hasQuantificationLevel"
Gamow peak energy via predicate surface "hasQuantityType"
Liouville's theorem
surface form: Liouville's theorem (complex analysis)
If f:ℂ→ℂ is entire and bounded, then f is constant via predicate surface "quantification"
Consumer Packaging and Labelling Act (except food) must be expressed in terms of weight, volume, numerical count, or linear measure as appropriate via predicate surface "netQuantityExpression"
Sverdrup volume flow rate via predicate surface "quantityKind"