类型下降（type lowering），文学-语言文字-语义学-语义类型，由高级向低级的类型转换。与类型提升相对。下降是一个部分函项（partial function），也是一个满射（surjective）函项，因为它的定义域仅部分映射到了值域，且值域中的每个成分都为该函项的映射所涵盖，即它是映满的。下降使广义量词同与其对应的实体相匹配。也就是说，当一个GQ指谓的性质之集合正好为一个实体所具有的所有性质的集合时，该GQ就有一个对应的实体，否则就无对应实体。英文中的定冠词“the”是一个典型的类型转换算子，本身的语义类型是< , e>。它能使一个光杆普通名词由性质函项 下降至一个实体类型。例如，作为性质函项 的“king”（国王）一词与定冠词“the”组合成为“the king”，整个短语就是一个实体类型，可以做谓词的论元。 汉语的“的”字也是一个类型转换算子，其本身的语义类型是< , e>。它与“很”字相反，能使其左边的成分由一个性质函项 下降为实体类型。