查询词典 predicate variable

The prominence relations are jointly determined by the thematic properties of the predicate and by the aspectual properties of the predicate.

显著关系是由谓词的题元属性和谓词的体属性决定的。

The organization of the a-structure for a predicate is taken to be a reflection of its lexical semantics, so that the a-structure of a predicate should be derivable from key characteristics of its meaning.

谓词的论元结构的组织方式不过是其词汇语义的反映，所以谓词的论元结构应该是由其词汇意义的主要特征中派生出来的。

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.

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

Fostering the concept of multi-culture firmly and mastering the development of advanced culture correctly are conductive to resisting terrorism, separatism of nationalities and ultraism of religion, which is of great academic theoretical, immediate and profound historical si...

牢固树立多元文化的理念和正确把握先进文化的发展方向，有助于在世界范围内自觉地抵制恐怖主义，民族分裂主义和宗教极端主义。不仅具有重大的学术理论意义，而且也具有重大的现实意义和深远的历史意义。

But if anyone walks in the night, he stumbles, because the light is not in him.

11：10 若在黑夜行走，就必碰跌，因为那光不在他里面。