查询词典 predicate

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

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

Behind overlapping pictures, there hide noun or verb, subject or predicate, nonsense, slogan or cant, advertisement or lie, epigram or balderdash, explanation or rhetoric, dialogue or monologue. The unordered, dense, overlapped, and information store-like visual and dream system implies the real world and the desire, anxious, love, hate, limitation, compassion and idealism of the artist.

重重叠影的画面中潜伏着名词或动词、主语或谓语、闲言碎语、标语或黑话、广告或谎言、警句或梦呓、解说或修辞、对话或独白……这个无序的、密集的、重叠的、信息库般的视幻系统，隐喻着世相的繁杂纷纭和艺术家本人的欲望、焦虑、爱憎、局限、悲天悯人以及理想主义。

I believe that it's very useful for Computer science students who learning Boolean algebra and predicate logic.

我相信对于学习布尔代数学和谓词逻辑的计算机科学学生说它是非常有用的。

The course contains four sections as follows: mathematical logic (including basic concepts of propositional logic and predicate logic, propositional calculuses and inference theories), set theory (including set algebras, relations, functions and cardinal numbers), algebraic structure (including algebraic systems, semigroups and groups, rings and fields, lattices and Boolean algebras), graph theory (including basic concepts of graph, Euler graphs and Hamiltonian graphs, trees, planar graphs and coloring graphs, some special vertex subsets and edge subsets).

本课程包含四部分内容：数理逻辑（包含命题逻辑与一阶逻辑的基本概念、等值演算以及推理理论），集合论（包含集合代数、二元关系、函数和基数），代数结构（包含代数系统、半群与群、环与域、格与布尔代数），图论（包含图的基本概念、欧拉图与哈密顿图、树、平面图及图的着色、图的某些特殊的顶点子集与边子集）。

A join is a Cartesian product of two row sets, with the join predicate applied as a filter to the result.

一个连接是两个行集的笛卡尔乘积，谓词连接作为一个过滤结果应用。

Thus the function of the categorical judgment is that of the relation of subject to predicate; for example,'All bodies are divisible'.

例如，直言判断的机能乃是主项与其述项的关系之机能；比如"凡物体都是可分割的"就是一例。

The traditional type is the categorical syllogism in which both premises and the conclusion are simple declarative statements that are constructed using only three simple terms between them, each term appearing twice (as a subject and as a predicate):"All men are mortal; no gods are mortal; therefore no men are gods."

从而无法提高解题的速度和精确程度。我现在把这段文字翻译如下：在逻辑学中，有效的演绎推理有两个前提和一个结论。传统的形式是直言三段论。在直言三段论中，两个前提和一个结论是简单的陈述，其构成仅仅包含三个项，每个项要出现两次，例如：所有的人都是要死的，神是不朽的，因此没有人是神。

The category and number of arguments in the semantic structure of sentences in modem Chinese are represented as follows: 1 Subject, which is composed of agent, causer, sensor, possessor, carrier 2 Object, which is composed of patient, factitive, position, undertaker, causee, phenomenon, involvement, attribute 3 Alternative participant, which is composed of recipientlsource, collaborator 4 Complement The predicate and the argument constitute the basic predication structure, which becomes an extended predication structure in the presence of an adverbial argument, which is an optional semantic constituent in the semantic structure.

为此，本文把现代汉语动词按其跟相关语义成分的依存关系首先分为动作动词、致使动词、心理动词、性状动词、关系动词5大类，以确定各主事动元的类别；第二层级按动核所带动元的数量，对各类动词进行下位分类，分别得出一元动词、二元动词、三元动词，以显示动核所带动元的数量：第三层级按动核所带动元的性质和数量把现代汉语动词分为24个基本类，以确定动元即必有语义成分的基本类别和数量。

Throws : If cloner or hasher throw or hash or equality predicate copying throws.

抛出： 如果 cloner 或 hasher 抛出或散列函数或相等性谓词的复制抛出。

Throws : If cloner throws or predicate copy assignment throws.

抛出： 如果 cloner 抛出或谓词复制赋值操作抛出。

For the head-teacher of the class said that I had seriously broken the school rules,which led me to a three-day suspend class.

为什么呢？因为我的班主任说我严重的违反了校规，于是让我停课三天。

Many of them believe that the conversion of thousands of working-class folk in England spared that nation from the mass carnage and the tyranny that came with the revolution in France.

他们之中有许多人相信，在英国数以千计的劳工阶级之悔改信主使英国免於遭受如法国大革命所造成的大屠杀和专制暴政。