查询词典 formal

Starting from the concept of conflicts of IPR, the author suggests a different view on the limit of the right and features of its subject-matter. In the authors opinion, the conflicting rights should include the substantial legal right and formal legal right and the right should also broaden its scope to the legitimate benefit. There are intersections and overlaps in the subject-matter of rights.

笔者首先从概念出发，就构成冲突的权利范围和客体特征提出不同观点，认为冲突权利应包括实质合法权利与形式合法权利，并应扩至正当利益，冲突的客体则存在交叉或完全重叠，所谓"客体同一"实为"载体同一"。

Through the investigation of those four aspects, the paper comes to the conclusion: thanks to the participation of many literatus, the development of Chinese painting has been changed accordingly in its aesthetic ideas, the standard of taste, formal styles,even the writing manner of its history, which is differed from those of western painting; surely, the cultural and social status of Chinese artists were different from the late as well.

通过这四个方面的有限考察，本文得出的结论是：中国绘画在其发展过程中，由于文人、或者说是士大夫的参与，使得它的美学观念、趣味标准、形式风格，乃至历史的撰写方式，在许多方面都显示出与西方绘画的不同；自然，中国画家的文化身份和社会地位也不同于西方。

Chinese and foreign joint ventures, Chinese and foreign cooperative enterprises and enterprises with foreign capital are required, while borrowing, to register at and obtain a case-by-case registration certificate for external debt from a branch office of SAEC by submitting a duplicate of the loan agreement to the office within 15 days of the formal agreement's signature.

除上述两款法规以外的其他借款单位应当在正式签订借款合同后15天内，持对外借款批件和借款合同副本向所在地外汇管理局办理登记手续并领取逐笔登记的《外债登记证》。

This paper mainly deals with the features of English words in business contracts from seven aspects which are formal word ,term, archaic word, loanword, using synonym together, repeating word and abbreviation with examples taken from English translation of business contracts.

按一定的合法手续达成的规定相互权利和义务的契约———商务合同的英文翻译也日显重要。好的商务合同的翻译很注意词在表达意义时所起的作用。

What Leibniz actually intended by his characteristica universalis and calculus ratiocinator, and the extent to which modern formal logic does justice to the calculus, may never be established.

莱布尼茨通过他的《普遍文字》和推理演算的实际意图，或当代形式逻辑对计算法的评价程度，也许是永远都不会实现的。

In order to describe the dynamic and complicated process model exactly, we propose the logic situation calculus based on the expanding the situation calculus and describe the virtual enterprise in this formal logic framework.

为了准确地描述虚拟企业这种动态的、复杂的建模过程，我们对情景演算这种形式化逻辑框架进行扩展，提出了逻辑情景演算，并以逻辑情景演算来描述虚拟企业的运作过程。

In the meantime, we also can change the status of the logic situations and describe the allying process and cooperative process. In addition, we represent the virtual enterprise ontology in the formal logic situation calculus and can define the core elements more accurately. It maintains the consistency and integrality of the ontology. Accordingly, the process model based on the ontology will have strong reusability, accessibility and consistency.

相应地，我们可通过逻辑情景演算这种形式化逻辑框架来表示虚拟企业本体论，以支持虚拟企业本体论中核心术语的更精确定义，维持其一致性和完整性；进而，构建于该本体论之上的虚拟企业过程模型就具有很强的重用性和可访问性，并能够保持建模过程的一致性。

A formal model of PASCAL process blueprint,graphical notations of abstract logic structure diagram, and a fundamental programming procedure...

文中给出PASCAL过程蓝图的形式化模型，抽象逻辑结构图的图形表示方法，以及程序设计的基本过程。

In this paper, description logic is used as the formal foundation of OWL DL, the corresponding relation between OWL DL and description logic is analyzed, every element of OWL DL is interpreted with the semantics of description logic.

针对上述问题，Tim Berners- L ee提出了语义 Web[1 ，2 ] ，它是现有Web的扩展，使得 Web不仅是一个展示信息的平台，而且可以由机器理解并做推理。

The ability to define the world in terms of sets is crucial to Russell's project of logicism, or the attempt to reduce all mathematics to formal logic.

能够确定的世界而言，是至关重要的套罗素的项目logicism ，或企图以减少所有数学形式逻辑。

With Death guitarist Schuldiner adopting vocal duties, the band made a major impact on the scene.

随着死亡的吉他手Schuldiner接受主唱的职务，乐队在现实中树立了重要的影响。

But he could still end up breakfasting on Swiss-government issue muesli because all six are accused of nicking around 45 million pounds they should have paid to FIFA.

不过他最后仍有可能沦为瑞士政府&议事餐桌&上的一道早餐，因为这所有六个人都被指控把本应支付给国际足联的大约4500万英镑骗了个精光。