1) predicate variable
谓词变项
2) non-verb predicate sentence
非动词谓语句
1.
These sentences are called non-verb predicate sentences.
在汉语句子中,除了动词以外,形容词、名词、数量词和象声词都可以充当谓语,这类句子称为非动词谓语句。
2.
There is an abundance of non-verb predicate sentences in Chinese, especially in old Chinese and in oral Chinese.
汉语中 ,尤其是古汉语和口语中 ,存在着大量的非动词谓语句。
3) Nominal Predicate
名词性谓语句
1.
The Nominal Predicate Sentence in Modern Chinese;
现代汉语名词性谓语句研究
4) Double-NP Sentences
双项名词句
1.
The Constraints and Contrastive Analysis of Two Kinds of Double-NP Sentences;
两类双项名词句的制约因素和对比分析
5) first-order predicate logic
一阶谓词逻辑
1.
Logical reasoning is the basis of artificial intelligence, the first-order predicate logic belonging to logic is a knowledge representation widely used, therefore,it is a meaningful task to study the reasoning problem of first-order predicate logic.
逻辑推理是人工智能的基础，而逻辑中的一阶谓词逻辑是使用较为广泛的知识表示方法，因此研究一阶谓词逻辑的推理问题是一项很有意义的工作。
6) First order predicate logic
一阶谓词逻辑
1.
With the tool of first order predicate logic, this paper demonstrates that there theoretically exists a winning strategy for games which have two players and end after a fixed number moves to get one s win and the other s loss.
用一阶谓词逻辑的工具证明,那种有两方参与,根据规则在有限步内能确定胜负的游戏,从理论上说,存在必胜的方法。
补充资料：谓词
分子式：
CAS号：
性质：在数理逻辑中，把命题的内部结构分析为具有主语和谓语的逻辑形式，与中英文表达中的主语和谓语相仿。PROLOG语言每一个子句用谓词开头，谓词相当于日常语言中的谓语。其逻辑结构在很大程度上植根于谓词逻辑(或称谓词演算)。谓词有内部谓词和用户定义谓词两类。
CAS号：
性质：在数理逻辑中，把命题的内部结构分析为具有主语和谓语的逻辑形式，与中英文表达中的主语和谓语相仿。PROLOG语言每一个子句用谓词开头，谓词相当于日常语言中的谓语。其逻辑结构在很大程度上植根于谓词逻辑(或称谓词演算)。谓词有内部谓词和用户定义谓词两类。
说明：补充资料仅用于学习参考，请勿用于其它任何用途。
参考词条