查询词典 predicate

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 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谓语和表语

singular point of a surface：曲面的奇点

singular point of a function 奇异点 | singular point of a surface 曲面的奇点 | singular predicate 单谓词

subject-object asymmetry：主語補足語的謂語

subject-complement predicate 主語補足語 | subject-object asymmetry 主語補足語的謂語 | subject-object inversion 主語與賓語問的非對稱性

Anopheles candidiensis：日月潭疟蚊

\\"疟蚊属\\",\\"Anopheles\\" | \\"日月潭疟蚊\\",\\"Anopheles candidiensis\\" | \\"中华疟蚊\\",\\"Anopheles hyrcanus var. sinensis\\"

Gnome Milnes:GNOME：下的扫雷

2. Games:游戏软件 | 1) Gnome Milnes:GNOME下的扫雷; | 2) Gnibbles:贪吃蛇游戏;