predicate[ˈpredikit]n.谓词，谓语，谓项，述词 v. 断言，断定，判断
‖ predicate adjective表语形容词
predicate calculus谓词演算
predicate calculus with equality等式的谓词演算
predicate constant谓词常项
predicate language谓词语言
predicate logic谓词逻辑
predicate logic of first order一阶谓词逻辑
predicate logic of higher order高阶谓词逻辑
predicate logic of second order二阶谓词逻辑
predicate logic of third order三阶谓词逻辑
predicate logic with equality带等词的谓词逻辑
predicate noun谓语性名词
predicate of first order一阶谓词
predicate of n. variable n.变项谓词
predicate of second order二阶谓词
predicate symbol谓语符号
predicate term谓词，谓项
predicate variable谓词变元
predicate verb谓语性动词
predicating word谓语性词
predicative[priˈdikətiv]adj.肯定的，断言的，断定的，直谓的，谓述的
predicative definition谓述定义，直谓定义
predicative expression谓词表达式
predicative function直谓函项，谓词函项
predicative set theory断言集论
predicative syntactic analysis谓语句法分析 |