我們采用自底向上的方式來介紹FOPC。首先檢查它的各種原子元素，然后說明把它們組合起來構(gòu)成更大的意義表示。圖1 是用于描述FOPC的句法的一個完全的上下文無關(guān)語法。

Formula → AtomicFormula

              | Formula Connective Formula

              | Quantifier Variable ,... Formula

              | – Formula

              | (Formula)

AtomicFormula → Predicate (Term,.…)

               Term → Function(Term,..)

                         | Constant

                         | Variable

      Connective → ∧|∨| ?

        Quantifier →    

          Constant → A| VegetarianFood | Maharani…

           Variable → x| y| …

         Predicate → Serves | Near | …

          Function → LocationOf | CuisineOf | …

圖1 用于說明一階謂詞演算表示句法的一個上下文無關(guān)語法。取自Russell and Norvig(1995）

首先來檢查“項”（term）的概念。項是FOPC用于表示客體的一種設(shè)置。從圖1中可以看出，F(xiàn)OPC提供了三種方法來表示這個基本的信息塊：常量、函數(shù)和變量。每個這樣的設(shè)置可以想像成一種命名方法，它們要給所研究的世界指定一個客體。

FOPC中的常量（constant）引用所描述的世界中的特定客體。按照慣例，常量通常用一個單獨(dú)的大寫字母來描述，如A和B等，也可以用一個單獨(dú)的大寫單詞來描述，這常使我們想起諸如Maharani和Harry這樣的專有名詞。正如程序設(shè)計語言中的常量，F(xiàn)OPC的常量只嚴(yán)格地引用一個客體。但是，當(dāng)存在若干個客體時，可以有多個常量引用它們。

FOPC中的函數(shù)（function）相當(dāng)于在英語中經(jīng)常表示為所屬格（genitive）的概念，如location of Maharani或Maharani's location。這樣的表達(dá)式翻譯成FOPC可以表示如下：

LocationOf (Maharani)

FOPC函數(shù)在句法上相當(dāng)于一個單獨(dú)的論元謂詞。但是，重要的是應(yīng)該記住，它們在外表上像謂詞，事實上卻只涉及一個單獨(dú)客體的“項”。FOPC的函數(shù)為引用特定的客體提供了一種方便的途徑。使用函數(shù)來引用客體時，不用與命名它的常量相聯(lián)系。當(dāng)存在像飯店這樣的很多命名客體時，如果使用函數(shù)，只需一個像location這樣的函數(shù)就可以與各種名字的飯店聯(lián)系起來，非常方便。