查询词典 predicate function

Analytic proposition: a proposition whose predicate concept is contained in its subject concept; e.g.,"All bachelors are unmarried," or, All bodies tak e up space.

" 分析命题：谓词概念包含于主词概念之中；例如，"所有单身都未婚"或"所有物体都占空间。

As an anthropologist, the first question we need to consider is what the history really predicate.

而作为人类学家，我们首先要思考的一个问题是，对人类学而言，历史到底意味着什么？

Besides"de"at the syntactic level, this thesis also analyzes the suffix"de"at the lexical level in the corpus where one case is that"de"is employed at the end of "duande" and"zende" and the other case is that it is used in the special ancient Chinese sentence pattern"……de bianshi". As a matter of fact,"de"used after the appellative nouns is one kind of special suffix between subject and predicate with no real meaning.

一种情况是出现在"端的"、"怎的"中的"的"，另一种情况是在古代汉语中的特殊句式"……的便是"中，"的"用在称谓名词之后，并无实在意义，是一种用于主谓之间的特殊的称谓名词后缀。

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

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

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.

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

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."

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

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 若在黑夜行走，就必碰跌，因为那光不在他里面。