查询词典 defined

To create a heading row in an existing table that does not have one, you need to apply an AutoFormat that does have a heading defined.

若要在没有标题行的现有表格中添加标题行，你需要应用一个定义了标题的自动格式套用。

An auxiliary data sheet is defined to record the fields of basic data sheet by using tree structure. The dynamic form, which can be dealt with expediently, is provided to users.

通过调整基本信息表的字段定义和组织结构关系满足不同用户的要求和实际应用的需要。

Next, an auxiliary function is defined as the abstract measure of the system energy.

然后，定义了一种辅助函数作为系统能量的一种度量。

A strain may be defined as an organic compound containing a benzene ring plus a chromophore and auxochrome group.

染料定义为含有苯环与呈色官能基与辅助成色官能基的化合物。

Average velocity may be defined as the distance traveled divided by the time of travel.

平均速度可定义为通过的距离除以运动所需的时间。

Average velocity may be defined as the distance traveled pided by the time of travel.

平均速度可定义为通过的距离除以运动所需的时间。

While he can admire and respect other people, he is not totally defined , bound , or awed by them.

虽然他可以欣赏和尊重其他人，他是不完全定义，约束，或由他们敬畏。

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.

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

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

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

This logical implication that perception of meaning is only possible if and only if the indefinite is included within the perception is the reason why the 19th century dream of a consistent and complete axiomatic system with only well defined empty signs had to fail (see more about that in my article, The Loop Logic).

这一逻辑隐含的意义是唯一可能的观感只要是无限期的观感是列入19世纪梦之所以一贯和明确的，只有彻底公理化体系空迹象已经失败(多看看，我在文章河套逻辑)。

I hope that this success is just the first in a long series.

我希望这只是成功的开始。

Three dimensional stresses on the interface of tire and soil, tire deflection and soil sinkage are measured.

测试轮胎——沙土界面上的三向应力、轮胎变形和沙土沉陷；建立考虑剪切应力对沙土承载特性产生影响的车轮牵引性能预测模型；分析车轮作用下土壤的纵向稳定性。