词条：『predicate』

英 ['predɪkət]　美 ['prɛdɪkət]

词语：predicate

变化：过去式 predicated 过去分词 predicated 现在分词 predicating

解释：
*['predikәt]
n. 谓语, 谓项
a. 谓语的
vt. 断定为, 使基于, 意味着, 预言
vi. 断言
【计】 谓词; 判定; 断定

词组短语

arithmetic predicate 【计】 算术谓词
between predicate 【计】 范围谓词
comparison predicate 【计】 比较谓词
computable predicate 【计】 可算谓词
Diophantine predicate 【计】 刁番图谓词
evaluable predicate 【计】 可估价谓词
false predicate 【计】 假谓词
first order predicate calculus 【计】 一阶谓词演算
first-order predicate calculus 【计】 一阶谓词演算
first-order predicate logic 【计】 一阶谓词逻辑
fuzzy predicate 【计】 模糊谓词
high-order predicate calculus 【计】 高阶谓词演算
higher order predicate calculus 【计】 高阶谓词演算
initial predicate 【计】 初始谓词
least predicate transformer 【计】 最小谓词转换子
numerical predicate 【计】 数谓词
outer predicate 【计】 输出谓词
partial recursive predicate 【计】 部分递归谓词
predicate calculus 【计】 谓词演算
predicate calculus language 【计】 谓词演算语言
predicate event-net 【计】 谓词事件网
predicate function 【计】 判定函数
predicate language 【计】 谓词语言
predicate letter 【计】 谓词字母
predicate lock 【计】 谓词逻辑锁
predicate logic 【计】 谓词逻辑
predicate node 【计】 判定节点
predicate symbol 【计】 谓词符号
predicate table 【计】 谓词表
predicate variable 【计】 谓词变项
primitive recursive predicate 【计】 原始递归谓词
recursive predicate 【计】 递归谓词
resolvable predicate 【计】 可分解谓词
second-order predicate calculus 【计】 二阶谓词演算
semi-computable predicate 【计】 半可计算谓词
semicomputable predicate 【计】 半可计算谓词
singular predicate 【计】 单谓词
total predicate 【计】 全谓词
true predicate 【计】 真谓词
unary predicate calculus 【计】 单谓词演算
zero-place predicate 【计】 零位谓词