查询词典 predicate calculus

eventuality predicate：事件谓词

谓词隐含:Implicit predicate | 事件谓词:eventuality predicate | 主谓句:subject-predicate sentence

multiline：多行

静态或谓词(predicate)字段的数组访问静态或谓词(predicate)字段的任意的方法调用(没有基于参数的候选方法)以上所述情况的谓词(predicate)方法注意:当前的实现还不支持多态机制和多行(multiline)方法.

predicate nominative：謂語名詞

predicate lowering 謂語降低 | predicate nominative 謂語名詞 | predicate noun 謂語性名詞

predicate logic：谓词演算

predicate constant 谓词常数 | predicate logic 谓词演算 | predicate symbol 谓词符号

knowledge predicate logic：知道谓词逻辑

系词:which noun acts as predicate copulative verb | 知道谓词逻辑:knowledge predicate logic | 动词谓语句:verbal predicate sentence

predicate symbol：謂語符號

predicate raising 謂語提升 | predicate symbol 謂語符號 | predicate variable 述語變數

predicate symbol：述詞符號

述詞邏輯 predicate logic | 述詞符號 predicate symbol | 述詞使用 predicate use

predicate variable：谓词变量

谓词逻辑 predicate logic | 谓词变量 predicate variable | 谓词符号 predicate symbol

predicate variable：述語變數

predicate calculus 述詞演算 | predicate variable 述語變數 | statemental conversion 述辭位換

propositional calculus：命题演算

关系演算基于数理逻辑的一个分支命题演算(propositional calculus),更精确地说是一阶谓词演算(first-order predicate calculus). 关系演算在逻辑表达式中使用AND和OR这样的运算符来进行关系运算. SEQUEL(结构化英语查询语言)是SQL的前身,由IBM开发,

phenol red：酚红,苯酚磺酞

phenol reagent 酚试剂 | phenol red 酚红,苯酚磺酞 | phenol red test 酚红排泌试验

accessory equipment：附件

accessory equipment 辅助设备 | accessory equipment 附件 | accessory part 附件