查询词典 colloquial language

The language recursiveness in sharing synthesis process is proposed and proved, and then the language relation formula based on the concurrent language is obtained.

进而利用这个语言关系式来判定共享合成网系统的活性与无死锁性，得到共享合成网系统活及无死锁的充要条件。

According to the problems that are encountered in designing the mathematical knowledge representation language in NKI (national knowledge infrastructure) and after the discussion of ontological assumptions for mathematical objects, two kinds of formalisms for the representation of mathematical knowledge are provided. One is a description logic in which the range of an attribute can be a formula in some logical language; and another is a first order logic in which an ontology represented by the description logic is a part of the logical language.

根据在设计NKI(national knowledge infrastructure)的数学知识表示语言中遇到的问题，并在讨论了数学对象的本体论假设的基础上提出了两种数学知识的表示方法：一种是以一个逻辑语言上的公式为属性值域的描述逻辑；另一种是以描述逻辑描述的本体为逻辑语言的一部分的一阶逻辑。

English is the world's 3,000 languages A, belong to Indo-European languages, the Germanic languages of the West Germanic language group (including German, Dutch, Fleming Flemish language, Frisian language and English).

Brief History of English 难是难，想学的话，应该很快！英语是全世界三千多种语言的一种，属于印欧语系、日耳曼语支中的西日耳曼语群（包括德语、荷兰语、弗来芒语、弗里西亚语和英语）。

However, communication comprises not only language, but also nonverbal language, such as body language, gesture and material objects.

但语言不是唯一的交际工具，交际工具还包括体势语、情态语、实物语等在内的大量的非语言交际形式。

This paper proposes the combination of sign language linguistics with human kinematics to generate and detect the data of SISL (signer independent sign language) according to the characteristics of gesture sign language.

根据手势手语的特点，提出了手语语言学和人体运动学相结合的非特定人手语数据的生成和检测方法。

Danish missionaries also believed native people could only take the word of God to their hearts if it was in their own language. They helped turn Greenlandic into a written language in the mid 19th century. Greenland even launched a native-language newspaper in 1861, curiously one of the first in the world to have colour illustrations.

丹麦的传教士也相信只有使用自己的语言才能真正将上帝带入每个人的心中。19世纪中叶，丹麦人帮助格陵兰岛人民将格陵兰口头语言转化成书写语言，并于1861年格陵兰岛发行第一份使用格陵兰语言的报纸，同时也是世界上第一份有彩色插图的报纸。

Language: The official language is Spanish, but the majority of the population speak Guarani, an indigenous Indian Language.

语 言：官方语言为西班牙语，但大部分居民讲民族语言瓜拉尼语。

History of the development of C language C language is widely popular, promising high-level language computer.

C语言的发展历史 C语言是国际上广泛流行的、很有发展前途的计算机高级语言。

There are three kinds of programming languages: machine language, assembly language and high-level language.

编程语言有三种：机器语言、汇编语言和高级语言。

There is really only one markup language in widespread use on the web (in other words, 99% of all web pages use this language), and that is HyperText Markup Language, or HTML.

实在是只有一个网上（换言之，所有网页的99％，普遍使用的标记语言使用这种语言），即超文本标记语言，或HTML。

Listen,point and check your answers.

听，指出并且检查你的答案。

Warming needle is one of effective treatment methods for knee arthralgia aggravated by cold,and it is simple,safety,so it should be developed in clinical acupuncture and moxibustion extensively.

但以本院科针灸门诊在2005年1月—2006年6月期间共收治膝痛患者100余例，经过临床的诊断后，其中施以温针治疗的48例，疗效显著，报道如下。1临床资料本组病例48