查询词典 axioms of order

The minimal unsatisfiability-preserving sub-TBoxes of an unsatisfiable class C identified by two equivalent transformations, axiom splitting and ontology reduction, and three discrimination rules comprise minimal sets of axioms which support the unsatisfiability.

为解释本体中概念不满足的原因，利用2个对等转换与3个判别规则识别不满足概念C的最小不一致知识子集。

When the actuality annihilates own man's natural character too heartlessly, the time in the dead of night can also recall to come and go, understanding toward its joy, now it is bitter, not it also is a personal axioms only luckily.

当现实把自己的本性也无情的抹杀掉时，在夜深人静的时候还可以去追忆过往，明白了往之乐，今之所苦，未之所幸也只不过是个人的定理。

The law embodies the story of a nation's development through many centuries, and it cannot be dealt with as if it contained only the axioms and corollaries of a book of mathematics.

该法体现了许多世纪以来，通过对一个国家的发展故事，它不能处理，犹如只载有公理和推论的数学书。

The law embodies the story of a nation's development through many centuries, and it cannot be dealt with as if it contained only the axioms and corollaries of a book of mathematics.

法律蕴含着一个国家书个世纪发展的故事，我们不能像对待仅仅包含定理和推论的数学教科书一样对待它。

The law embodies the story of a nation's development through many centuries, and it cannot be dealt with as if it contained only the axioms and corollaries of a book of mathematics.

大意：一国之法律包含了一国几个世纪的法律发展历程，其实并不如数学书中原理、推算那样。我们如想弄清法律是什么，至少得知道他的前世今生。

The possibility of apodeictic principles concerning the relations of time, or of axioms of time in general, is also grounded upon this a priori necessity.

在这一先天必然性的基础上，还建立起了时间关系的那些无可置疑的原理、或一般时间公理的可能性。

The possibility of apodeictic principles concerning the relations of time, or of axioms of time in general, is also grounded upon this a priori necessity.

对于时间关系的一些必然原则公理，也是建立在这个先验的必然性之上的。

It was gravely said, by some of the prelates, in the Council of Trent, where the doctrine of the schoolmen bare great sway; that the schoolmen were like astronomers, which did feigh eccentrics and epicycles, and such engines of orbs, to save the phenomena; though they knew, there were no such things; and, in like manner, that the schoolmen had framed a number of subtle and intricate axioms, and theroems, to save the practice of the Church.

迷信的根源是：娱乐感官、愉悦耳目的宗教仪式；伪装的外在神圣；对教会传统习俗的敬畏感；主教们贪图名利的心计；人心的过分好善，使人因猎取新奇而上当受骗；对神圣目标的追求，也只能导致异想天开；最后，野蛮的时代，特别是与天灾人祸俱来的野蛮时代。

At the beginning, the thesis offered an analysis on the backgrounds of Unit Integral English Teaching Approach, the reasons for choosing the research topic and its theoretical and practical significance. Through literature review and summary, the origin of Unit Integral English Teaching Approach, its basic conception and present achievements home and abroad were discussed. Then the theoretical support of Unit Integral English Teaching Approach, System Theory, was introduced and its basic axioms and principles were summarized. Upon this base, the experimental framework was put forward and the exemplification of the study was described in details.

本文首先对整体教学法产生的背景、课题选题的缘由、实验的理论和实践意义进行了论述，然后通过文献回顾与综述，阐明了单元整体教学法的起源、基本的概念以及目前国内外相关研究所取得的成果，并对整体教学法的主要理论依据—系统论的基本原理和原则进行了归纳分析，在此基础上提出单元整体教学研究的实验计划，详细描述了实验的实证性研究过程。

"From the primitive symbols, certain formulas are defined as well formed, some of which are listed as axioms; and rules are stated for infer ring one formula as a conclusion from one or more other formulas taken as premises."

公式即基设符号所形成的一种良构表式，其中一部分被列为公理；推演规则被用来从一个或多个作为前提的公式推演出一个作为结论的公式。

The two dozen translators have stuck to their guns in holding on to several useful Chinese terms, like jiaozi for boiled dumplings, tangyuan for glutinous riceballs, and shaomai for those money-bag steamed dumplings.

参与此项工作的二十多位翻译竭力保留了许多有用的中文词语，如将"饺子"、"汤圆"和"烧卖"分别音译成jiaozi、tangyuan和shaomai。

Due to the constant bickering between their two heads, Ogres exhibit less intelligence than even the lowly Peons.

由于两个头不停的斗嘴，这种食人魔的智力甚至连苦工赶不上，但无论如何，食人魔战