查询词典 predicate calculus with identity

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开发,

HIGH PRIESTESS：女教皇

原来在这房里的床上有一本日记,里面有一首诗它会提示你怎么放,经过了细心的推敲后,决定在左上角摆夜之眼(Eye Of Night)这张,左方的中间就摆女教皇(High Priestess),最下面的中间就放上吊男(Hanged Man);最右手边的中间就放愚者(Fool),

charades：用动作等表演的字谜游戏

characterization 人物塑造 | charades 用动作等表演的字谜游戏 | charisma (大众爱戴的)领袖气质,魅力