查询词典 terms

He failed to bring the heretics to terms, and, in defiance, Priscillian was ordained to the priesthood and appointed Bishop of Avila.

他没有把异端条款，并在违抗，普里西利安被祝圣为神父，并任命主教的阿维拉。

There must be separation between the inevitable and the avoidable in terms of cost.

可以避免和不可避免的花费之间肯定是有区别。

On the base of Frege's study, Russell put forward the theory of types to settle Russell's paradox. On the base of non-set, Russell brought forward axiom of infinity and axiom of option as the premises and built a system. He tried to defined the non-negative integer in logic terms and derive the theorems of arithmetic from the laws of logic by deductive method.

罗素在弗雷格研究的基础上，提出逻辑类型论来解决罗素悖论，以非集合论理论为基础，以无穷公理和选择公理为前提，利用逻辑概念定义数学概念，并构造系统，通过逻辑演绎法从逻辑公理推导数学定理。

It was found that the experiment result was consistent with the outcome from the axiomatic design method in terms of the correctness rate of icon identification and the time spent for judgment.

实验发现在考虑图像辨认正确与答题时间下，实验结果与以公设计方法所得到的结果一致。

In an axiomatic system, the primitive symbols are undefined and all other symbols are defined in terms of them.

在任何公理系统中，基设符号都是不下定义的，其它所有符号都藉基设符号来界定。

Similarly it is important to see rationalists like Descartes and Spinoza, trying to formulate philosophy in terms of some kind of an axiomatic system, in a discursive and historical context characterized by the emerging natural sciences, formulated in a mathematical language.

同样，在看待象笛卡儿和斯宾诺莎这样设法用某种公理体系构造哲学的唯理论者时，也要将其置于以数学语言构造的新兴自然科学为特征的商谈和历史情境中。

Locations on the earth's surface are specified in terms of the earth's axis of rotation.

地面的定位是沿着地球的自转轴而定的。

The word Ayurveda is composed of two Sanskrit terms - Ayu meaning life and Veda meaning knowledge.

"Ayus"指的是生命，"Veda"指的则是知识和智慧，两者结合在一起，意为生命或长寿的知识。

Chapter 1 discusses, in a broad outline, the trend of Natural Language Processing on the background of Cognitive Science in terms of the current level of the study.

第1章分析了认知科学背景下自然语言处理技术的发展方向以及目前的处理水平，以此为背景，确立了本论文研究的方向为现代汉语语义知识库的构建。

Backgrounder: When people refer to an IC process technology in terms of nanometers, what physical dimension are they actually measuring?

背景：当人们以纳米为单位讨论IC制程时，实际尺寸的测量值到底是多少？

Breath, muscle contraction of the buttocks; arch body, as far as possible to hold his head, right leg straight towards the ceiling (peg-leg knee in order to avoid muscle tension).

呼气，收缩臀部肌肉；拱起身体，尽量抬起头来，右腿伸直朝向天花板（膝微屈，以避免肌肉紧张）。

The cost of moving grain food products was unchanged from May, but year over year are up 8%.

粮食产品的运输费用与5月份相比没有变化，但却比去年同期高8％。