quantificationType

P20230
predicate

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

Try in SPARQL

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
linked to: system F
second-order via predicate surface "hasQuantificationLevel" ⓘ
Gamow peak energy via predicate surface "hasQuantityType" ⓘ
Liouville's theorem (complex analysis)
linked to: Liouville's theorem
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" ⓘ