查询词典 predicate function

primitive recursive predicate：原始递归渭词

primitive recursive isomorphism 原始递归同构 | primitive recursive predicate 原始递归渭词 | primitive root 原根

PN proper names：专有名称

15. OBJ direct object 直接宾语 | 16. PN proper names 专有名称 | 17. PRD predicate 表属性

propositional calculus：命题演算

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

prosodic：作诗法的

Pearlmutter(1998) 描述的多重限制理论,该理论主张近因/位置和一个次级因素-谓词接近性(predicate proximity)结合词汇的,文法的,作诗法的(prosodic),和上下文的限制决定联接偏好.

pure predicate calculus of first order：一阶纯谓词演算

pure point spectrum 纯离散谱 | pure predicate calculus of first order 一阶纯谓词演算 | pure set theory 一般集合论

pure set theory：一般集合论

pure predicate calculus of first order 一阶纯谓词演算 | pure set theory 一般集合论 | pure state 纯状态

general recursiveness：一般递归性

general recursive predicate 一般递归谓词 | general recursiveness 一般递归性 | general refrigerated vessel 通用冷藏船

repugnant concepts：别异矛盾概念

变质 obversion | 别异矛盾概念 repugnant concepts | 宾词 predicate

restricted randomization：限制随机化

restricted predicate calculus 狭谓词演算 | restricted randomization 限制随机化 | restriction 限制

see the dentist：看牙医

207.in the laboratory在实验室 | 209.see the dentist看牙医 | 210.predicate and predicative谓语和表语

phenol red：酚红,苯酚磺酞

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

accessory equipment：附件

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