在FOPC引用客體的機制中的最后一個概念是變量（variable）。變量一般用單個小寫字母表示，使我們能夠?qū)腕w做出判斷，進行推論，而不必參照任何特定命名客體。變量的這種對沒有名字的客體進行說明的能力有兩個特色：一是能夠?qū)ξ粗哪涿腕w進行說明，二是能夠?qū)θ我庖粋€客體世界中的所有客體進行說明。在介紹了量詞（quantifier）之后，還要回過頭來再討論變量的問題，F(xiàn)OCP的量詞將使變量更有用。

現(xiàn)在我們有了引用客體的方法，因此可以研究如何用FOPC來說明客體之間保持的關(guān)系。從FOPC的名稱可以猜到，F(xiàn)OPC是圍繞謂詞的概念組織起來的。謂詞是一種符號，這種符號用于引用名稱以及在給定領(lǐng)域內(nèi)的一定數(shù)量的客體之間的關(guān)系。Maharani serves vegetarian food可用FOPC的公式表示如下：

Serves (Maharani, VegetarianFood)

這個FOPC句子的意思是：Serves是一個具有兩個位置的謂詞，表示由常量Maharani和VegetarianFood標(biāo)出的客體之間的關(guān)系。

謂詞的另一種稍微不同的用法是對句子Maharani is a restaurant的下列表示，這是一種典型的表示方法：

Restaurant (Maharani)

這個例子中的謂詞只有一個位置，它不涉及多個客體，而只是確認(rèn)一個單獨客體的某個性質(zhì)。在這種情況下，謂詞對Maharani的范疇所屬關(guān)系進行編碼。應(yīng)該注意，這是一種處理范疇的普通方法，它的用處可能不太大。

由于具備了引用客體的能力、確認(rèn)關(guān)于客體的事實的能力、把一些客體與另外的客體相互聯(lián)系的能力，所以就能夠構(gòu)造出初步的組合表示。這些表示與圖1中的原子公式的水平相對應(yīng)。這種組成復(fù)雜表示的能力不局限于使用單個謂詞。更大的組合表示也可以通過使用邏輯連詞（logical connective）的辦法把不同的意義表示結(jié)合到一起。從圖1中可以看出，邏輯連詞使用三個運算符中的一個把邏輯公式連接起來，這樣就使我們有了構(gòu)造更大的意義表示的能力。例如，我們來研究如下的來自BERP語料庫的例子以及這個句子的一個可能的意義表示：

I only have five dollars and I don't have a lot of time.                (1）

Have (Speaker,FiveDollars)∧?Have (Speaker, LotOfTime)

這個例子的語義表示是通過使用運算符∧和?，直接從個別從句的語義構(gòu)造而成的。注意，由于圖1 中的語法具有遞歸性，可以使用這些邏輯連詞構(gòu)造出無限數(shù)目的邏輯公式。因此，使用這樣的句法，就有能力使用有限的手段構(gòu)造出無限數(shù)目的意義表示。

責(zé)任編輯：admin