原子谓词公式

 项：

可以用来指定某个对象

理解：一个变量，其真实值可以实实在在的食物

谓词符号：

形如数学里面的函数。表示里面的各个变量（这里指的是：对象）之间的关系

而原子谓词公式就是项与谓词符号的结合体。

举个例子：

belong（Kaiwii,scut）就是一个原子谓词公式。

分析：

belong（X,Y）是一个谓词符号，表示：X是Y里面的一员。

Kaiwii是一个项，表示：Kaiwii同学

scut是一个项，表示：scut这间学校

所以，整个原子语句意思：Kaiwii是scut的一员。