罗伯特·西蒙斯。;丹尼尔·切斯特 将句子和语义网络与过程逻辑联系起来。 （英语） 兹伯利04866.8105 Commun公司。ACM公司 25, 527-547 (1982). 页码：24/35−5 −4 −3 −2 −1 ±0 +1 +2 +3 +4 +5 显示扫描页面 MSC公司： 第68页第15页 定理证明（演绎、解析等）（MSC2010） 68T99型 人工智能 68问题65 抽象数据类型；代数规范 关键词：对称子句逻辑公理;语义格关系;英语句子;规则对称性;网络可压缩性;自然语言处理;有效的程序设计系统;定语从句语法;文本分析;Horn子句 PDF格式BibTeX公司 XML格式引用 \textit{R.F.Simmons}和\textit{D.Chester}，Commun。ACM 25，527--547（1982；Zbl 0486.68105） 全文： 内政部