查询词典 object description

Many regard the description of hippopotamus and crocodile (xl, 10-xli) as later additions, because they lack connection with xxxix, 31-xl, 9, belonging rather to the description of animals in xxxix.

许多方面说明河马和鳄鱼（仪， 10 - XLI ）号决议作为后来增加，因为它们缺乏与第39届， 31仪， 9属，而是要说明的动物三十九。

This paper presents a Tableau decision algorithm for the dynamic description logic D-ALCO.D-ALCO is a combination of the description logic ALCO,the dynamic logic,and an action theory based on the possible models approach.

以D-ALCO的构建过程为基础，将ALCO的Tableau算法、命题动态逻辑的Tableau算法以及对可能模型途径的处理有机地结合起来，给出了D-ALCO的Tableau判定算法，证明了算法的可终止性、可靠性和完备性。

The basic pattern of fairyland excursion combined with the life in seclusion had been created in the works of Sao tifu. The description of immortals in Hanfu was obviously different from the reflection on one's life experience by describing fairyland excursion in Chu Ci. What it pursued was mostly the pure fun in the fairland. The change of fairyland excursion from the heavenly spheres to the human worlds in Hanfu extended the space of artistic imagination of description of immortals. The fairy world in Hanfu was free and beautiful, which had become a symbol of spiritual realm of writers and the reflection of their interest in cloistral area.

汉赋将游仙与退隐相结合，开启了游仙隐逸化的基本表现模式；汉赋的游仙描写，已不完全是&楚辞式&的借游仙以抒怀，更多地表现出了真正意义上的&列仙之趣&；从楚辞到汉赋，游仙遇仙地点发生了由天界向人间的转变，从而进一步拓展了游仙描写的艺术想象空间；汉赋中的神仙世界自由美好，已成为文人精神境界的一种象征，寄托着赋作家遗世高蹈、超乎尘垢之外的人生志趣。

In the former representation, if no restrictions are imposed on formulas, then there is no algorithm to realize the reasoning in the resulted knowledge base; in the latter representation, the reasoning in the ontology represented by the description logic is decidable, while in general, for mathematical knowledge described by the first order logic which contains the ontology represented by the description logic, there is no algorithm to realize its reasoning.

在前者的表示中，如果对公式不作任何限制，那么得到的知识库中的推理不是可算法化的；在后者的表示中，以描述逻辑描述的本体中的推理是可算法化的，而以本体为逻辑语言的一部分的一阶逻辑所表示的数学知识中的推理一般是不可算法化的。

Undertake observation and analysis for convenient doctor, the symbolic form that the digital result translate into that moves the description understands easily, obtain the comprehensive description of pair of hemal motion features.

为方便医生进行观察和分析，将描述运动的数字结果转化为易于理解的符号形式，获得对血管运动特征的全面描述。

Based on traditional wood fiber processing way at home and abroad, this paper draws up mathematical description theory of wood fiber, finishes the mathematical description theory of single wood fiber, sum up the reason of low density of wood fiber at microcosmos state, completed the laboratory study on Micron Flake Fiber High Strength Board, set up the forming methodology of this kind of wood-based panel.

本文在总结国内外传统法木纤维加工的基础上提出了木纤维数学描述理论，进行了单个木纤维细胞的数学描述，总结了现在木纤维强度低的微观原因，完成了微米长薄片木纤维高强度人造板的实验室研究，创立了该板种的形成方法学，所提出的MFB形成理论体系和加工方式，是利用木材微纳米技术在人造板加工业中开创出的一片新研究领域，提出了微米纤维细胞劈裂的条件。

Hhe research and design of description language and description method of software component have also laid a solid foundation for the next phase of development the muter.

软件构件描述语言和描述方法的研究与设计为下一步进行路由器构件化开发也打下了坚实的基础。

And the description poems, though without high literal value, also obviously reflected the poem style and trend of Song dynasty. Their poems presented description style and features' changing between the nonego and feeling.

其咏物词，虽然艺术成就不算高，但最显著的一点就是也反映出那个时期北宋文坛咏物词的风格与流变，呈现了在非我化与情感化之间缓慢变迁的咏物风貌。

Its features are that description of single grammatical points exceeds comparative studies; researches on special issues are more numerable than grammatical system; static research exceeds dynamic research; and investigation and description is more than theoretical studies.

未来方言语法研究应加强方言语法的调查工作，开展立体化的方言语法研究，加快方言语法比较研究的步伐，提高理论研究的深度，建立方言语法研究的方法论体系。

OBEX protocol specification detailed description, including the use of the scope of its various field description.

详细说明： OBEX协议规范详细说明介绍，包括使用范围及其各个字段介绍。

Chinese traditional virtue is humility and wariness,the compliment and praise to the others should be declination

中国人的传统美德是谦虚谨慎，对别人的恭维和夸奖应是推辞。如

We bought this house on the never-never.

我们以分期付款的方式买下这座房子。