归结子句的英文

• apodosis

• 归结    sum up; put in a nutshell
• 子句    clause
• 基子句的归结    resolution for ground clauses
• 一般子句的归结    resolution for general clauses
• 结子    seed 花已凋谢结子了。 the flowers have run to seed. 我种的莴苣已结子。 my lettuces have gone to seed
• 归结    1.(总括而求得结论) sum up; put in a nutshell 问题虽然很复杂, 归结起来不外三个方面。 the questions, though very complicated, may be summed up as coming under three categories.2.(结局) end (of a story, etc.)3.[力学] resolution; 归结式 resolvents
• to子句    to clause
• 子句    [计算机] clause◇子句列 [计算机] clause train
• 不结子    barrenness
• 结子布    knofabric
• 结子儿    bear seed
• 结子纱    knot yarns
• 结子线    boucle yarn
• 归结式    resolvents
• 归结为    boil down to; come down to; result
• 归结于    attribute to; resolve into; to explain by indicating a cause
• 当子句, while子句    while clause
• 子句, 属于子句    in clause
• 不结子的    barren
• 彩色结子纱    coloured knops
• 大结节,大结子    greater tubercle
• 定位结子    anchor mot
• 花谢结子    go/run to seed stoflowering as seed is produced
• 简单结子    half hitch
• 结子粗花呢    nub tweed

• The problem which should be settled and the knowledge is represented in xdd , and the problem is solved by resolution principle . thus , the information on the web can be used in the decision process and it becomes easy to share and exchange data in or among the system
  主要内容包括：定义了合一指定和xml归结子句，给出了归结原理在xdd中的应用形式；证明了归结的过程是一个等价变换的过程，论证了应用归结原理实现xml问题求解的可行性；给出了应用归结原理实现xml问题求解的方法和步骤。