?一阶谓词演算(First Order Predicate Calculus)
早在1967年，Woods就研究了在自然语言的问答系统中类似于一阶谓词演算（FOPC）的表示方法，用这种方法来代替当时在这个领域的那些针对性很强（ad hoc）的表示方法。
?一阶谓词演算
一阶谓词演算 first-order logic; first-order predicate calculus; fopc 一元谓词演算 monadic predicate calculus; one place predicate calculus; unary predicate calc ..
?塔的朋友
... EPOC 一套针对手持式掌上装置的作业系统 FOPC 塔的朋友 ADT 自动数据变换 ...
菜单
英汉双解词典包含3185865条英汉词条，基本涵盖了全部常用单词的翻译及用法，是英语学习的有利工具。