查询词典 clauses

The soundness and completeness theorem of this method were proved at last. 5. The a-automated reasoning method based on the a-resolution principle of LP was discussed, the author given a method to describe the set of simple generalized clauses (veriables and non-subregular 1 - IBSFs are only contained) by using a matrix, and translated the a-resolution of two clauses to column operations of this matrix.

最后，证明了该方法的可靠性和完备性； 5、对格值命题逻辑系统LP中基于α-归结原理的α-自动推理方法进行了研究，给出了用符号矩阵表示一类简单的广义子句集合(只含命题变元和非正则1-IESF广义文字)的方法，把α-归结原理转换成矩阵的列变换。

The soundness and completeness theorem of this method were proved at last. This part consists of the following points: 1. The properties of the indecomposable extremely simple form of LP were discussed, the theorem shown that every logical formula of LP was equals of a generalized conjunction normal form. 2. The method for judging a logical formula is a indecomposable extremely simple form or not was discussed, the necessary and sufficient conditions of a logical formula with not more than three implicative connective being a indecomposable extremely simple form was given. 3. The α-resolution fields of the indecomposable extremely simple form of LP were discussed, some elementary results were obtained. 4. The automated reasoning method based on the resolution principle of classical logic was discussed, the author given a method to describe the set of clauses by using a matrix, and translated the resolution of two clauses to column operations of this matrix.

二、关于格值命题逻辑系统LP中α-自动推理方法的研究 1、对LP中不可分极简式的性质进行了研究，证明了LP中任何一个格值逻辑公式等值于一个广义合取范式； 2、对LP中不可分极简式的判定方法进行了研究，讨论了含有不超过3个蕴涵运算的格值逻辑式为不可分极简式的充分必要条件； 3、对LP中不可分极简式的α-归结域进行了研究，得到了一些基本结果； 4、对经典逻辑中基于归结原理的自动推理方法进行了研究，给出了用符号矩阵表示子句集合的一种方法，把不同的归结过程转换成矩阵的列变换。

Means and methods of recognition and classification of soft clauses are vital because soft clauses are manifold and complex.

信用证软条款色色种种，纷繁复杂，识别的方法和手段非常重要。

Insurance policy or certificate covering parcel post all rishs including war risks as per parcel post insurance clauses and parcel post war risk insurance clauses of the Peopls's Insurance Company of China dater???

保险单或凭证按照中国人民保险公司X年X月X日邮包保险条款和邮包战争险条款投保邮包一切险和邮包战争险

Developed an ability to analyze the primary sentence structures of English, such as finite and non-finite clauses, simple, compound, and complex sentences, active and passive voices, declarative, imperative, interrogative, and exclamative sentence types, and embedded clauses belonging to distinct grammatical categories e.g.

二、培养分析英语基本句型的能力，如限定与非限定子句、简单、并列与复合句式、主动与被动语态、直述、祈使、疑问与感叹句型，以及分属各类语法范畴的附属子句（如名词子句、形容词子句、副词子句）。

Hypotaxis: the dependent or subordinate construction or relationship of clauses with connectives; for example, I shall despair if you don't comeParataxis: the arranging of clauses one after the other without connectives showing the relation between them.

两部外版词典，在释义中，不约而同地使用了connectives，给我们这样一种启示：使用connectives不仅增加了其涵盖面和精确性，而且connectives已经成为约定俗成的遣词。

Keywords: Group of clauses with the same two variable, compatible of two solutions,identical transformation, set of clauses, minimax expression.

如果判定某个表达式是可满足的话，那么求解算法不需要任何回溯就能准确地给出它的每个解。

THIS POLICY OF INSURANCE WITNESSES THAT THE PEOPLE'S INSURANCE COMPANY OF CHINA(HEREINAFTER CALLED"THE COMPANY")AT THE REQUEST OF THE INSURED AND INCONSIDERATION OF THE AGREED PREMIUM PAID TO THE COMPANY BY THE INSURED,UNDERTAKES TO INSURED THE UNDERMENTIONED GOODS IN TRANSPORTATION SUBJECT TO THE CONDITIONS OF THIS POLICY AS PER THE CLAUSES PRINTED OVERLEAF AND OTHER SPECIAL CLAUSES ATTACHED HEREON.

中国人民保险公司根据被保险人的要求，由被保险人向本公司缴付约定的保险费，按照本保险但承保险别和背面所列条款与下列特款承保下述货物运输保险，特立本保险单。

Baodi Branch submitted in court the Motor Vehicle Insurance Clauses and Interpretations promulgated by China Insurance Regulatory Commission by Document No.102 [2000] on June 15th, 2000 and the Notice on Abolishing Some Normative Documents promulgated by China Insurance Regulatory Commission by Document No.18 [2005] on February 24th, 2005 to prove that the Motor Vehicle Insurance Clauses and Interpretations have become invalid and that the legal basis for it to settle the insurance claim involved in this case is right.

被告平安保险宝坻支公司当庭提交 2000年6月15日保监发[2000]102号《机动车辆保险条款及解释》、2005年2月24日保监发[2005]18号《关于废除部分规范性文件的通知》，用以证明保监发[2000]102号《机动车辆保险条款及解释》已经失效，并证明该公司处理本案交通事故保险理赔的法律依据。

The grammar that the nominal clauses consist of four kinds of clauses is not difficult for your to understand.

这种语法，即名词子句包括四种从句，对你是不难理解的。

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 。