查询词典 predicate

predicate calculus, functional calculus：谓词演算

谓词变元|predicate variable | 谓词演算|predicate calculus, functional calculus | 温莎平均|Winsorized mean

predicate logic language：谓词逻辑语言

predicate logic 谓词逻辑 | predicate logic language 谓词逻辑语言 | predicated response 预测响应

knowledge predicate logic：知道谓词逻辑

系词:which noun acts as predicate copulative verb | 知道谓词逻辑:knowledge predicate logic | 动词谓语句:verbal predicate sentence

first order predicate logic：一阶谓词逻辑

谓词逻辑 predicate logic | 一阶谓词逻辑 first order predicate logic | 非单调逻辑 nonmonotonic logic

predicate symbol：謂語符號

predicate raising 謂語提升 | predicate symbol 謂語符號 | predicate variable 述語變數

predicate symbol：述詞符號

述詞邏輯 predicate logic | 述詞符號 predicate symbol | 述詞使用 predicate use

predicate variable：谓词变项

predicate symbol 谓词符号 | predicate variable 谓词变项 | prediction law 预报律

predicate variable：谓词变量

谓词逻辑 predicate logic | 谓词变量 predicate variable | 谓词符号 predicate symbol

predicate variable：谓词变元

谓词|predicate | 谓词变元|predicate variable | 谓词演算|predicate calculus, functional calculus

predicate fronting：謂語移首

predicate calculus 述詞演算 | predicate fronting 謂語移首 | predicate lifting 謂語提升

Anopheles candidiensis：日月潭疟蚊

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

Gnome Milnes:GNOME：下的扫雷

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