“盒子在桌子上”可表示为：

ON(bOX,TAbLE)

其中，盒子(bOX)和桌子(TAbLE)是常量，表示个体。在上(ON)是谓词，表示盒子和桌子的关系。

“张某比王某的哥哥高”可表示为：

TALLER[ZHANG,brother(WANG)]

其中，brother是函数，表示任何个人与他哥哥之间的映射关系。

“盒子是蓝色的”可表示为以下三种形式：

bLUE(bOX)

cOLOR(bOX,bLUE)

VALVE(cOLOR,bOX,bLUE)

“盒子在窗户旁边的桌子上”可表示为：

ON(bOX,TAbLE)bY(TAbLE,WINDOW)

“球是红色的或蓝色的”可表示为：

RED(bALL)bLUE(bALL)

“所有的大象都是灰色的”可表示为：

(X)[ELEPHANT(X)cOLOR(X,GRAY)]

“有一件东西在桌子上”可表示为：

(x)ON(X,TAbLE)

      例如一个关于记录着学生姓名、班级及寝室号的关系数据库,如下表：

    表中的信息可用一阶谓词逻辑可表示为

系别（王长波，计算机系）

住处（王长波，7-306）  

    John gives a book to Mary (John给Mary一本书)

    这里把"John","Mary","book"作为对象;建立"give"这个事件。则这句话用一阶谓词可表示为：

“张某送给屋里的人每人一件礼物”可表示为：

“张某给Y一件礼物”

返回