查询词典 predicate

What it is for the proposition to be true, says Leibniz, is for this relation of containment to hold, ie for the predicate to be contained in the the subject.

它的命题为真说，莱布尼茨，是举行，为谓词即应包含在受这种遏制的关系。

But that number in front of uncountable nouns plural noun, the predicate verb in the plural form.

但当不可数名词前有表示数量的复数名词时，谓语动词用复数形式。

At the same time, the author prove the product of a number in the unit interval [0, 1]and a stable fuzzy predicate is stable.

给出稳定模糊谓词的数乘运算仍是稳定模糊谓词的证明。

The first order predicate logic features, which appear in the axiom clause, include: existence quantifier'exist', universal quantifier'all','find, and'find all'.

语法正确性的检查与传统的语法分析程序所做的工作类似，采用递归子程序分析法。

We are supposed to intend the predicate to stand for a universal.

我们被假设希望谓词表达了『stand for，支持』共相。

In this paper we've compared several predicate of first order operators, and proposed an improved algorithm which is based on the automatic double threshold value improvement algorithm based on the maximum inter-cluster distance and intra-cluster variance ratio.

在边缘检测算法的选择上，比较了几种常用的一阶微分算子的优劣，并在Canny算子的基础上提出了基于最大类间、类内距离比值的自动双阈值改进算法。

Normally, a sentence consists of at least a subject and its predicate which contains a finite verb phrase.

通常一个句子至少包括主语和谓语，谓语包含限定动词或动词词组。

To assist the main verb phrase of words constitute a predicate called the auxiliary verb.

协助主要动词构成谓语动词词组的词叫助动词。

In contemporary Chinese, the combination of Noun and Verb can constitute three different structures:"NV"nominal modifying structure,"NV"verbal modifying structure,"NV"subject-predicate structure. This structure is worthy of researching because the location of it's internal component's is dispute, that is to say, whether the headword of nounbial modifier structure is verb, and whether the headword of verbal modifying structure can be noun are disputable problems.

现代汉语中，名词和动词的组合可以构成三类结构：定中偏正结构、状中偏正结构、主谓结构，由于其内部成分的定位存在着值得争议的地方，即定中偏正结构的中心词是否为动词；状中偏正结构的修饰语能否为名词，且容易出现同形异构结构，所以这类结构值得研究。

The latter, on the other hand, add to the concept of the subject a predicate which has not been in any wise thought in it, and which no analysis could possibly extract from it; and they may therefore be entitled ampliative.

后者则对主语概念添加了外于主语概念的描述，而这种添加是不可能通过分析的方法得来的，因此可以称为扩充性的。

When this condition occurs, inbound replication with the source partner is stopped on the destination domain controller and event ID 2042 is logged in the Directory Services event log.

计算机密码学是研究计算机信息加密、解密及其变换的科学，是数学和计算机的交义学科，也是一门新兴的学科。

Instructions: click on the thumbnails to see a larger image, then use the left-right arrow keys to scroll through the slideshow.

使用说明：滑鼠点在小图上即可放大观赏。开启后键盘左右键可用来换照片。