# 译名列表

该表中列举所有英文术语（个人化）的中文翻译：

## 类名/模块名

|英文|所用译名|其它译名|
|:--|:--|:--|
|Term|词项|词语，词|
|Atom|原子词项||
|Compound|复合词项||
|Statement|陈述|语句，句子|
|Word|词语|词|
|Placeholder|占位符|像占位符|
|Independent Variable|独立变量|自变量|
|Dependent Variable|非独变量|因变量，依赖变量|
|Query Variable|查询变量||
|Interval|间隔||
|Operator|操作符|操作|
|Extension Set|外延集||
|Intension Set|内涵集||
|Extension Intersection|外延交||
|Intension Intersection|内涵交||
|Extension Difference|外延差||
|Intension Difference|内涵差||
|Product|乘积|积，笛卡尔积|
|Extension Image|外延像||
|Intension Image|内涵像||
|Conjunction|合取|陈述与|
|Disjunction|析取|陈述或|
|Negation|否定|陈述非|
|Sequential Conjunction|顺序合取|序列合取|
|Parallel Conjunction|平行合取||
|Inheritance|继承|是|
|Similarity|相似||
|Implication|蕴含||
|Equivalence|等价||
|Instance|实例||
|Property|属性||
|Instance-Property|实例属性||
|Predictive Implication|预测性蕴含|预测蕴含|
|Concurrent Implication|并发性蕴含|并发蕴含，同时蕴含|
|Retrospective Implication|回顾性蕴含|回顾蕴含，回溯蕴含|
|Predictive Equivalence|预测性等价|预测等价|
|Concurrent Equivalence|并发性等价|并发等价，同时等价|
|Retrospective Equivalence|回顾性等价|回顾等价，回溯等价|
|Punctuation|标点|标点符号，句子类型|
|Stamp|时间戳||
|Truth-Value|真值||
|Sentence|语句|句子|
|Budget-Value|预算|预算值|
|Task|任务||
|Bag|袋|包|
|Concept|概念||
|Task-Link|任务链||
|Term-Link|词项链||
|Distributor|分派器|分发器|
|Experience|经验||
|Memory|记忆区|内存，记忆|
|Reasoner|推理器|推理机|
|Inference|推理||
|Truth Function|真值函数||
|Budget Function|预算函数||
|Compositional Rules|组合规则||
|Local Rules|本地规则||
|Rule Tables|规则表||
|Structural Rules|结构规则||
|Syllogistic Rules|三段论规则||

## 类方法/实例方法

|英文|所用译名|其它译名|
|:--|:--|:--|
|conversion|转换||
|negation|否定||
|contraposition|逆否|对位|
|revision|修正|修订|
|deduction|演绎||
|analogy|类比||
|resemblance|相似||
|abduction|溯因||
|induction|归纳||
|exemplification|例证||
|comparison|比对||
|desire|欲望||
|union|并集||
|intersection|交集||