查询词典 predicate calculus

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.

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

Indeed, the Logos was God (not "divine," as Moffatt, the anarthrous predicate is grammatically required but may also indicate a distinction between the persons).

的确，标识是上帝（而不是&神&，作为moffatt ， anarthrous始发文法要求，但也可能显示区分人）。

The pain predicate applies to you, the octopus, and the Alpha Centaurian, not because you share a single higher-level property, but because you, the octopus, and the Alpha Centaurian possess similar, although not precisely similar, properties.

疼述词用在你和章鱼上，不是因为你们分享一个单一的高阶属性，而是因为你们拥有相似的、但不是完全相似的属性。

Description Logic is a kind of object based knowledge representation formalism, and also a decidable fragment of first order predicate logic, with well-defined semantics and powerful representation capability.

描述逻辑是一种基于对象的知识表示的形式化系统，它是一阶逻辑的一个可判定的子集，具有合适定义的语义，并且具有很强的表示能力。

The system can be widely used in belt weighing and batching process control,etc.

介绍了基于智能模糊控制的嵌入式配料系统的设计方法，对模糊PID控制过程和系统调零作了重点的讨论，同时给出了PID控制的程序流程图和系统定长调零子程序。

"I dunno," she answered,"but if you show me aroun', I'll recognize it from the lighthouse just outside the porthole."

"我不知道，"她回答说，"如果你能带我转转，我能认出来的，因为灯塔就在舷窗外。"