查询词典 conscience clause

Because Horn-clause logic theory is of significance in both respects of theory and application, We especially studied lattice-valued Horn-clause logic with truth-value in lattice implication algebra, and the soundness and completeness theorem have been proved.

经典逻辑中，Horn子句逻辑理论具有广泛的应用，因而，本文中特别建立了基于格蕴涵代数的格值-类Horn子句逻辑，并证明了可靠性和完备性定理，这为建立一类基于格值逻辑这种非经典逻辑的人工智能语言将产生重要的作用。

So much for the adverbial clause of condition. Now let's come to the adverbial clause of reason.

for引导的句子不是原因状语从句，它连接的两句前后是并列关系，不是主从关系， for所陈述的原因是间接的，常常是推测性的。

Practice the use of "must" and "have to", the adverbial clause of time introduced by "when","before","after", and the adverbial clause of condition introduced by "if".

通过if引导的条件句和must， mustn't 的教学，引导出不同的做法会导致不同的后果，培养学生思维的深刻性和正义感。

With the help of the traditional comparative approach and based on the research done by older generation, the author proceeds from the fundamental viewpoints of cognitive linguistics and from both the positive depiction argument exploration, specifically discussing the feature of "Provided p, q" being distinguished from "If p, q": Clause p in "Provided p, q"only indicates the minimum condition resulting in q while Clause p "If p, q" is not necessarily the minimum condition to the result q.

本文从认知语言学的基本观点出发，借助传统的比较方法，在前辈研究的基础上，从实证描写和理据探究两个方面，着重论述"只要p ，就q"区别于"如果p ，就q"的一个特征："只要p ，就q"所引导的分句p一般只用来表示导致结果q的最低条件，而"如果p ，就q"所引导的分句p对于结果q来说则并不一定是最低条件。

The optimization methods of database SQL query were studied and some available query optimization Methods were given out as follows: The incompatible data type should avoid to be used; More redundancy search parameters should be given as join condition in join query; In some condition, the number of note hitted to target was estimated by optimizing implement using the average density; Some other maths operating symbol should avoid to be used as condition parameters in WHERE clause; Some operating symbol and its sentence should avoid to be used also; When the cluster function was used,the WHERE clause should be paied attention to more,and so on.

作者单位：（重庆工学院商贸信息学院，重庆 400050）摘要：数据库SQL查询语句的优化，须注意：避免使用不兼容数据类型；连接查询中应多给连接条件提供一些冗余的搜索参数；某种条件下优化器只能使用其平均密度以估计命中的记录数；避免对WHERE子句中条件参数使用其它数学操作符；避免使用某些操作符及相应语句；聚簇函数的使用应注意WHERE子句。

According to the clause design problems of convertible bond issued in our country, this thesis advances the improving method, and how to design reasonable clause.

论文根据我国发行的可转换债券的条款设计存在的问题，提出改进的办法，以及如何设计合理的可转换债券条款。

Broken cross rate cross-reference clause A clause in a Bank loan document referring to a loan by a commercial bank.

相互参照条款世界银行贷款文件中参照一项商业银行贷款的条款。

Notwithstanding any provision to the contrary in this insurance a claim for loss or damage to any machinery , shaft, electrical equipment or wiring, boiler condenser heating coil or associated pipework, arising from any of the perils enumerated in Clause 622 to 625 inclusive above or from fire or explosion when either has originated in a machinery space, shall be subject to a deducible of Any balance remaining, after application of this deductible, with any other either has originated in a machinery space, shall be subject to the deductible in Clause 121

尽管有与本保险相反的任何规定，对于因遭遇第622项至625项列举的各项危险包括源于机舱的火灾或爆炸造成的任何机器、轴、电器设备或电线、锅炉冷凝器、暖油盘管，或附属管道的损害提起的索赔，应扣除免赔额，扣除该免赔额后的任何余额，与因同一事故或事件引起的任何其他索赔一道，应受第121款的免赔额的制约。第122 款和123款的规定，应适用于根据本条提出的任何索赔获得的赔偿及该保险赔偿所含的利息。

This enhancing mode constructs a disjunctive normal form on concept expressions and keeps only one conjunctive clause, and then substitutes the obtained succinctest conjunctive clause for sub-concepts set in the labeling of nodes of a completion tree constructed by the tableau algorithm (such a process may be repeated as many times as needed).

该增强方式对概念描述先构建一个析取范式，并只保留其中的一个合取子句，然后用这个获得的最简的概念合取子句去取代传统tableau算法构建的完整树的结点标记中的子概念集（这个过程根据需要可重复多次）。

In detail, the noun-centered exocentric constructions in modern Chinese included three different structures: the coordinate phrases, the modifier-head phrases and the special subject-predicate phrases. The coordinate phrases included the reduplicative forms and non-reduplicative form while the special subject-predicate phrases meant the phrases which played the role of clause component but not the clause itself.

具体说来，现代汉语中的名核离心结构包括联合式、偏正式和特殊主谓式三种，联合式当中又可以分为重叠式和非重叠式；特殊主谓式主要是指充当句子成分，而不是作为小句的主谓结构。

The statistical analysis of this large set of mutations has led us to propose a diagnostic strategy that should help with the molecular work-up of optic neuropathies.

这一大系列基因突变的统计学分析引导我们提出一个诊断策略，可以帮助我们对视神经病变进行分子学的诊断检查。

The results show that the pipe grouting changes the mechanical parameters of surrounding rocks to achieve the security of engineering objectives by reinforcing surrounding rocks and bolcking the water.

研究表明：小导管注浆一方面改变了围岩的力学参数，另一方面利用浆液的固结特性可以实现堵水和加固围岩的工程目标，使隧道在开挖过程中的安全得到保障。