查询词典 predicate variable

higher order precedence relation：较高阶居先关系

较高阶居先文法 higher order precedence grammar | 较高阶居先关系 higher order precedence relation | 较高级述词 higher order predicate

overconfident：过于自信的, 自负的

complete predicate 完备[全]谓词 | overconfident 过于自信的, 自负的 | polygamy 一夫多妻, 一妻多夫

complex paradigm：複雜聚合體;複雜變化例

complex object 複雜賓語;複雜受詞 | complex paradigm 複雜聚合體;複雜變化例 | complex predicate 複雜謂語;合成述語

second partial product：第二部分乘积

二阶系统 second order system | 第二部分乘积 second partial product | 第二阶述词演算 second predicate calculus

compound piston ring：由几部分组成复式活塞环

compound pier | 组合柱 | compound piston ring | 由几部分组成复式活塞环 | compound predicate | 复合谓语

pure point spectrum：纯离散谱

pure mathematics 抽象数学 | pure point spectrum 纯离散谱 | pure predicate calculus of first order 一阶纯谓词演算

PSR possessor：(持有者)

PRD predicate ( 谓语动词) | PSR possessor ( 持有者) | PSE possessee ( 被持有)

predecessor function：前钳数

predecessor 前趋 | predecessor function 前钳数 | predicate 谓词

predicant：传道的

predicament 困境 | predicant 传道的 | predicate adjective 表语形容词

predicate calculus：谓词演算

与谓词演算(predicate calculus)相反,命题演算取简单的、未分析的命题,而不是取词项和名词表达式作为原子单元. 与函项演算相反,它仅处理不包含变项的命题. 简单的(原子的)命题用字母表示,复合的(分子的)命题用下列标准符号形成︰ ...

user data clear：清除用户数据

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

power station：电站

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