In formal semantics, a predicate is quantized if it being true of an entity requires that it is not true of any proper subparts of that entity.
Hence, the predicate "apple" is quantized, while "water" is not.
[1][2] Formally, a quantization predicate QUA can be defined as follows, where
the mereological part-of relation:[1][2]
Quantization was first proposed by Manfred Krifka as part of his mereological approach to the semantics of nominals.
It has since been applied to other phenomena such as telicity.
This semantics article is a stub.