Terms containing predicate

Subject	English	Chinese
IT	annotated predicate calculus	带注释的谓词演算
math.	arithmetical predicate	算术谓词
AI.	build-in predicate	内部谓词
AI.	compound predicate	复合谓词
space	first order predicate calculus	一阶谓词演算
space	first order predicate logic	一阶谓词逻辑
tech.	first-order predicate calculus	一阶谓词演算
IT	first-order predicate calculus system	_一阶谓词演算系统
tech.	first-order predicate logic	一阶谓词逻辑
IT	higher-order predicate calculus	高阶谓词演算
IT	input predicate	输入谓词
IT	n-adic predicate	n 阶谓词
math.	numerical predicate	数谓词〔项〕
AI.	one-place predicate	一元述语
IT	output predicate	输出谓词
IT	partial recursive predicate	部分递归谓词
AI.	predicate-argument structure	述词论元结构
space	predicate calculus	谓词演算
AI.	predicate calculus	述词计算
IT	predicate calculus language	谓词演算语言
AI.	predicate-complement insertion	述补中插
telecom.	predicate converter	谓词转换器
IMF.	predicate crime	上游犯罪
publ.secur.	predicate crimes	上游犯罪
cryptogr.	predicate encryption	谓词加密
AI.	predicate formula	谓词公式
AI.	predicate letter	谓词字母
IT	predicate logic	谓词逻辑
IT	predicate logic model	谓词逻辑模型
IT	predicate manager	谓词管理器
IT	predicate model	谓词模型
publ.secur.	predicate offences for money laundering	洗钱的上游犯罪
IMF.	predicate offense money laundering	上游犯罪
cryptogr.	predicate privacy	谓词隐私
AI.	predicate symbol	谓词符号
AI.	predicate task specification	谓词任务说明
IT	predicate transformation method	谓词变换法
IT	predicate transformer	谓词转换子
AI.	predicate transformer	谓词变换
telecom.	predicate/transition net	谓词变迁网
IT	predicate/transition system	谓词-变迁系统
IT	predicate use	判定使用
scient.	predicate variable	谓词变元
IT	primitive recursive predicate	原始递归谓词
AI.	primitive recursive predicate	本原递归谓词
IT	recursive predicate	递归谓词
tech.	recursive predicate	递归谓语
AI.	second order predicate	二阶述词
gen.	second-level predicate	第二层次谓词
space	second-order predicate calculus	二阶谓词演算
tech.	semi-predicate function	半确定函数
tech.	semi-predicate function	半谓词函数
tech.	semi-computable predicate	半可计算谓词
IT	standard predicate	标准谓词
publ.secur.	to constitute a predicate offence	构成上游犯罪
IT	unary predicate calculus	单谓词演算
AI.	uniform predicate	一致谓词
AI.	well-formed formula of predicate calculus	谓词演算的合适公式
AI.	wffs of predicate calculus	谓词演算公式
IT	zero-place predicate	零位谓词