一些语言中一个名词的标准解译产生了该名词的标准语意，亦即「意思」或含义。它通常利用语义函数将抽象语法中的一名词对映到一些领域中的一点而得到。所谓领域就是该名词型式的解译。语意函数具备的环境是一函数将该名词的自由变数对映到其意思。我们称该领域点「表示」或「一名词的意思是」。非标准的语义系由如抽象解译等其他解译而产生。