中文摘要：

用一阶谓词逻辑的形式语言讨论了自然语言的形式描述、数学知识的形式表述、在人工智能中智能行为过程的描述等。总结用一阶谓词逻辑的形式语言表示具体知识的步骤，以及这种知识表示法的局限与应当进一步研究的问题。

英文摘要：

Using formal language of first-order predicate logic, this paper discusses the formal description of natural languages, formal description of mathematic knowledge, and representation of intelligence ha artificial intelligence. It also summarizes the procedures of representing concrete knowledge with the formal language of first-order predicates, and the limitations of this knowledge-representing method and some problems for further study.