restricted predicate calculus相关的网络例句

查询词典 restricted predicate calculus

与 restricted predicate calculus 相关的网络例句 [注：此内容来源于网络，仅供参考]

According to the character of adnex in Predicate-complement Structure, Predicate-complement Structure can be divided into Moving fill structure and Patterns complement structure.

根据述补结构中充当述语的成分的性质，述补结构可以分为动补结构和形补结构。

Human being's language consciousness system relates directively to speech communication system. In fact it shows subject-predicate structure of the form, that is "object- subject- character- predicate".

人类语言意识系统直接涉及言语交际系统，表现为&事物－主体－普遍特征－述谓&形式的&主体－述谓&结构。

More generally, Unger could interpret Lewis by replacing singular quantifiers over composites with plural quantifiers over simples, and by replacing each predicate of composites with an irreducibly plural predicate of simples.

更一般的，U会解释L，取代单一量词，而使用复数量词，取代组合物的述词，而用简单物的不还原的复数述词。

Based on knowledge tree of predicate,the planning tree of predicate is defined and some strategi...

在谓词知识树的基础上定义谓词规划树，并用各种策略来提高规划树的生成效率。

The meaning argument assumes that, in a sentence like this one about being happy , we use the predicate to attribute a universal to the subject. But in the case of predicating the denial of self-instantiation, it turns out that we cannot have in mind a universal that we intend the predicate to stand for.

含义论证假设，在一个句子，诸如关于'是快乐的'的句子里，我们使用谓词归一个共相给主语，但在述谓对自身例现的拒绝时，这证明了我们不能思及一个共相，这个共相是我们认为谓词所支持的。

Predicate: The part of a sentence which comprises a finite verb or a verb phrase and which says something about the subject is grammartically called predicate.

句子中由限定动词或者动词词组构成并对主语进行表述的这一部分在语法上叫做谓语。

The atomic formula is called atom for short in predicate calculus .

在谓词演算中，有时将原子公式简称为原子。

The atomic formula is called atom for short in predicate calculus.

原子；组合电路单元；基本单位

In the refutation tree of predicate calculus, the proved conjunctive formula.

在谓词演算的反驳树中，被证明的合式公式。

This is not expressible as a first-order predicate calculus property.

这就是一个一阶谓词演算不可表述的属性。