查询词典 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开发,

user data clear：清除用户数据

user color 用户选用色 | user data clear 清除用户数据 | user tools 使用者工具

power station：电站

电站(Power Station):和所有RTS一样,它为战争提供必要的电力供应. 维泰奇人 一、概况 维泰奇人(Vitechy)是故事情节中一个非常重要的种族,但在对战中不能选择维泰奇人,这个种族拥有令人骄傲的科技力量. 对于维泰奇人(Vitechy)来说,