查询词典 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."

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

This paper designs the communication system of radio telescope FAST.

针对500m口径球面射电望远镜FAST分布式控制系统的特点完成了其通信系统的设计。

Political sheep's step-by-step a large number of fossils unearthed in the county soil Ma Ali after rural village in the middle of sallow pelitic siltstone.

步氏和政羊化石大量出土于广河县阿力麻土乡后山村，产于灰黄色泥质粉砂岩中。