判断题 规则库就是用于描述某领域内的知识的产生式集合，是某领域知识（规则）的存储器，其中的规则是以产生式形式表示的。

判断题 谓词P中的所有个体都是个体常量、变元或函数，则该谓词P为二阶谓词。

判断题 如果一个命题标识符表示确定的命题，就称为命题常量。