查询词典 formal

A formal semantics is given. We prove 79's soundness, consistency, completeness, and decidability with respect to the semantics.

本文和给出严格形式语义的基础上，证明了该系统具有可靠性、协调性、完全性和可判定性。

First of all,we elaborate a formal variant of Description Logics,namely, ALCQO,which is capable of extending the conceptual modeling ability of classical DLs with process modeling and numerical constraint representation ability, while still retains decidability for major reasoning problems.

与传统的描述逻辑不同，ALCQO既保留了一定的概念建模能力，还显著的增强了在数字属性和时序关系上的表达能力，因此对Web服务的功能属性以及非功能属性都具有足够的表达能力。

Otherwise, it might be recognized as a technically formal declaration of domestic war.

否则，它很可能被认为是一项内战的技术性正式声明。

In this conception, the postcolonial refers to the time after the end of formal colonialism on the one hand, and the need for a second decolonization of the imperialist residues in the British society on the other.

在此脉络之下，本论文所谓的"后殖民"指涉的不只是殖民统治结束之后的时空，同时亦指涉了继续反抗殖民和第二次去殖民的必要性。

As the parent of native traditional painting,Chinese decorative art made a feature of rich decorativeness in form at first,and then established a set of decorative formal language for color as mural art evolved.

装饰艺术作为我国民族传统绘画的"母体"，从一开始就以浓厚的装饰性作为表现形式的主要特点，并随着壁画艺术的发展逐渐形成了一整套装饰性的色彩形式语言。

T: I heard there are some decorum (4) for a traditional formal wedding gown. Do you know about them?

我听说在传统的婚礼上，新娘服饰有一些习俗要求，你知道吗？

It is, in fact, the only extensive formal deductive theory of religion that I know of

事实上，它是我知道的唯一的广泛的正式的，演绎的宗教理论。

About this, the completeness of the formal deductive systems is one of the main branches.

对于一个形式系统而言，完备性是至关重要的逻辑性质，它反映了该系统语法与语义的和谐性。

The earlier description of a formal theory refers to the deductive type of theory.

先前描述的正式理论指的是演绎型的理论。

The paper introduces the Points of Knowledge Inaugurated on the contribution of 《Groundwork of ZiBenWei and Chinese Information Processing》,namely: the Definiens and Taxonomy of Information,and that of Intelligence, the Rationale on Chinese, the Principle of Memory Coordinated Bilingually in Cognitive Psychology, the Principle Restricted on the Formal Theory, the Principle on Logic with Bit-List Tool,the Universal Arithmetic and Measure for language and knowledge,the Producing Teaching cooperated with the training system as Man-Com-Net, the Integrative[1] Management (of knowledge, information and data).

本文介绍《字本位与中文信息处理的基础》[3]贡献的十个知识创新点，即：信息和智的本质定义及基本分类，汉语及中文的基本原理，认知心理学双语协同存储原理，形式理论的受限原理，序位逻辑原理及工具，语言和知识的通用算法和量具，生产式教学及协同智能训练体系，（产、学、研、教、用、算）一体化管理。

Lugalbanda was a god and shepherd king of Uruk where he was worshipped for over a thousand years.

Lugalbanda 是神和被崇拜了一千年多 Uruk古埃及喜克索王朝国王。

I am coming just now,' and went on perfuming himself with Hunut, then he came and sat.

我来只是现在，'歼灭战perfuming自己与胡努特，那麼，他来到和SAT 。