查询词典 predicate

In detail, the noun-centered exocentric constructions in modern Chinese included three different structures: the coordinate phrases, the modifier-head phrases and the special subject-predicate phrases. The coordinate phrases included the reduplicative forms and non-reduplicative form while the special subject-predicate phrases meant the phrases which played the role of clause component but not the clause itself.

具体说来，现代汉语中的名核离心结构包括联合式、偏正式和特殊主谓式三种，联合式当中又可以分为重叠式和非重叠式；特殊主谓式主要是指充当句子成分，而不是作为小句的主谓结构。

Predicate logic: also predicate calculus, which studies the internal structure of simple propositions.

谓词逻辑：也叫谓词演算，它研究简单命题的内部结构。

The internal components of the syntactic subject in the form of nominative absolute construction in an English sentence imply integrated logical subject-predicate relationship, expressing a type of concept, fact, state of affairs, or situation, after which is the syntactic predicate presenting the speaker's comment, description, or exposition.

英语独立主格结构型主语内部为逻辑主谓关系，主语化程度较低，用以表达一个概念、事实、事态、情景或情形。

But for those of us who move onto this more advanced stage, Lee's team said "this shift in strategy is analogous to shifting from proofs in the first-order predicate calculus to proofs in the first-order modal predicate calculus"- in other words, it's a pretty impressive display of logical prowess and further evidence of our ability to "make deductions about abstract matters remote from our mundane life".

但是我们中的那些进入更高等级的玩家，Lee的团队说，"这次策略的转换同从一阶谓词演算证据到一阶情态谓词演算证据非常类似"——换句话说，这是一次令人印象深刻的展示：逻辑的力量和我们具备对"远离日常生活的抽象事物进行演绎"的能力。

Judge determined that the predicate as a predicate constant.

表示某个确定判定的谓词称为谓词常项。

The logical system Qs is obtained from the pure predicate calculus by adding a binary predicate constant S which denotes the sanctions, an individual constant c denoting the state institutions, and some definitions of deontic modal words but not adding axioms or deducible means.

它以狭义谓词演算为基础，在其形式语言中添加专指"制裁"行为的谓词常项，添加专指"国家机关"这种法人的个体常项，添加规范词的定义，但不添加推演工具，就可次生出关于法律规范的逻辑。

In predicate logic, a predicate can take the role as either a property or a relation between entities.

在谓词逻辑，谓词可以采取的角色，无论是属性或实体之间的关系。

Predicate logic is a kind of highly formalized language and its inferences in view of the analysis of predicate.

谓词逻辑是一种基于谓词分析的高度形式化的语言及其推理，是人工智能科学赖以产生和发展的最古老，最直接，也是最为完备的理论基础。

Then the paper changes the algorithms, and applies them to Predicate/Transition net model of first-order predicate logic.

这些算法都具有较高的效率，为逻辑推论的P／T网和Pr／T网模型的推理提供了新的有效的方法。

In the first-order logic, predicate variable is said of a relationship between the predicate letters, this relationship has not been assigned to any particular special relationship or meaning

在一阶逻辑中，谓词变量是表示一个关系的谓词字母，这个关系还没有被特殊的指派任何特定的关系或意义

The split between the two groups can hardly be papered over.

这两个团体间的分歧难以掩饰。

This approach not only encourages a greater number of responses, but minimizes the likelihood of stale groupthink.

这种做法不仅鼓励了更多的反应，而且减少跟风的可能性。