查询词典 formally

Fonterra informally contacted New Zealand's embassy in Beijing on August 14, and eight days later formally asked Chinese authorities to recall the products through its diplomatic channel.

在8月14号，Fonterra曾经非正式性的和新西兰在北京的大使进行接触。八天之后，正式表示要求中国方面通过外交渠道将所有产品召回。

The request for extradition is normally made formally through the diplomatic channel, accompanied by the arrest warrant, information about the identity of the accused, and the basic facts of the offence. Often, the request will ask for provisional arrest pending arrival of all the necessary paperwork.

罪犯国籍国，犯罪行为发生地国，受害国罪犯国籍国同时对同一罪犯提出引渡要求，被请求国有权决定有的地区性公约对引渡优先权作了规定( 4 )引渡的程序 procedures 通常在引渡条约或有关引渡的国内立法中加以规定。

After that, According to the induced-matter idea, we study the generalizational method of 5D Dirac equation, and point out that Dirac equation isn't formally generalized in principle because the wave function of Dirac field is multiple component matrix form.

随后，我们从诱生物质思想出发，研究Dirac方程的五维推广方案，指出由于描述Dirac粒子的波函数是多分量的矩阵形式，原则上不能只依靠单纯的形式推广。

New direct selling regulations were formally published by the Chinese government in August.

新的直销条例正式出版了我国政府在8月。

Hamas is ready to extend its present "unilateral ceasefire" if the other side formally agrees to one: not exactly the Quartet's demand for a definitive disavowal of violence.

哈马斯准备扩大目前的"单边停火"，如果对方正式同意，而且不限于四方会谈要达到的最终消除暴力。

He is disconcerted to find the other guest formally dress.

他看到其他客人都穿得正正经经的，觉得很尴尬。

That is, formally speaking, a representation or encoding over an alphabet ∑ of a set D is a function f from D to 2^∑* that satisfies the following condition: f(e1) and f(e2) are disjoint nonempty sets 不相交的非空子集 for each pair of distinct elements e1 and e2 in D.

形式地说，对信息对象集合 D 进行基于字母表∑的物化或编码是从 D 到 2^∑*的函数 f，并且函数 f 满足以下条件：对于 D 内任一对不相同的元素 e1 和 e2，f(e1)和 f(e2)是不相交的非空子集。

Based on paper [1] and [2], this paper gives two generating algorithms to calculate and output the special conjunctive normal forms and special disjunctive forms of given propositional formulas automatically and formally.

摘要在文[1]和文[2]的基础上，给出了命题逻辑中任一命题公式的主析取范式和主合取范式的自动生成算法，并实现了多个命题公式主范式的同时形式化输出。

Apparently, they couldn't formally enroll me until the next summer, because I had to go to summer camp before I could enter ROTC classes, but signing a letter of intent was enough for the draft board to waive my induction date and give me a 1-D Reservist classification.

显然，在下个暑假前，他们还不能正式录取我，因为在参加后备役军官训练军团前我得去参加夏令营。但签署一封意向书就足以让征兵委员会同意取消我的新兵报到，并把我列为预备役1-D类。

Report from our correspondent yesterday, chinese Yahoo and China's biggest travel dragnet stands " where to go to " announce jointly, reach strategic collaboration formally.

本报讯 昨天，中国雅虎和中国最大的旅游搜索网站"去哪儿"联合公布，正式达成战略合作。

On the other hand, the more important thing is because the urban housing is a kind of heterogeneity products.

另一方面，更重要的是由于城市住房是一种异质性产品。

Climate histogram is the fall that collects place measure calm value, cent serves as cross axle for a few equal interval, the area that the frequency that the value appears according to place is accumulated and becomes will be determined inside each interval, discharge the graph that rise with post, also be called histogram.

气候直方图是将所收集的降水量测定值，分为几个相等的区间作为横轴，并将各区间内所测定值依所出现的次数累积而成的面积，用柱子排起来的图形，也叫做柱状图。