实质上适当，即所有(t)形等值式是该定义的逻辑后承。
The adequacy condition require that all the equivalence of the form (t) should are logical consequence of this definition.
建立意图后承的形式化推理系统是意图形式化研究中的一个重要课题。
To establish a formal inferential system of intention consequences is an important issue in the formal study of intention.
有效地处理属性论的分级现象，后承式的推理方法被引入至计算中，结果形成属性论的一个新的计算框架。
We introduce the notion of sequent to the computation, and it results a new computing frame in the research.
这些结果说明，KLM赋值结构为证明有限语言下单可表示类后承的表示定理提供了一种充分的通用性方法。
These results reveal that KLM valuation structure provides a sufficient and canonical approach to establish representation theorems for any injective inference relations in finite framework.
与已有的意图后承形式系统相比，这个系统比较简单，并具有许多现有同类系统所不具备的优良性质，比如无副作用。
Compared with other known formal systems of intention consequences, this system is simpler and possesses many desired properties, such as free from all cases of the known side-effects.
从而进一步给出d -后承关系的表示性质，并由此证明了任意无联结词形式的累积非单调后承关系，可以用抽象缺省推理框架来表示。
Based on representation properties of D-consequence relations, it proves that any cumulative nonmonotonic consequence relation with the connective-free form can be represented by ADRFs.
上舵承组装后检查。
在通过模态试验、振动试验等验证后，该承力筒成功地应用于某卫星上。
After the model and vibrate test, the cylinder was used in the satellite successfully.
花未成花堪承折，折后花唯为另花。花开花胜众人赞，花凋花败谁人怜？
Flowers in flower could not bear to fold, fold spend only after another flowers. The flower blossoms wins praise all, spend with flowers who remains the frets?
前言： 通过一些试验研究和工程实例，介绍采用铬钼钢制造的承压设备，经热处理后对钢材性能的影响。
The effect of postwelding heat treatment on property of pressure equipment made of Cr-Mo steel has been interpreted thorough some research and practical examples.
借助于砂槽承压含水层模型，以氩溶解气为研究对象，模拟气体聚集或稀释的异常源产生后，其在含水层中的运移过程。
In this study a sand-box confined aquifer model is used to simulate gas transportative process in aquifer after abnormal source gas has formed by selecting argon dissolved gas as study gas.
扣除上述三项款额后，如有余款，承押人应将余款交付抵押人。
If there is any surplus after deducting the amounts in the above three clauses, the mortgagee shall pay over the surplus to the mortgagor.
通过对工程实例的剖析，介绍桩底后注浆和扩大承台(梁)法等桩基事故处理方法和原理，作为工程实践经验的总结。
Through the analysis of pile bottom grouting and beam expanding accident methods and principles, the engineering practical examples are summarized.
一段时间后，李承铉走进组，有一个小组成员改组。
After some time, Seung Hyun came into the group and there was a reshuffling of the group members.
a做粉条方法：a、调浆：一般水和淀粉充分搅拌均匀后，用手用力抓浆手心中有部分淀粉从手指挤出不完，手心中有淀粉块承在。
Methods: a, a do vermicelli paste: general water and starch stir evenly, with the hand grasping force in part from the starch slurry palm finger extrusion without end, palm starch in bearing block.
当荷载不断增大，土体进入塑性状态后，土层承压能力减弱，锚桩的影响将很小，可以忽略。
When the load is becoming larger, the soil bearing press capacity will weaken after the soil enters the plastic state, thus the effect of the anchor pile will be little, so it can be neglected.
2005年秋天，赵承熙曾经的老师在发觉他的文章十分“古怪”和“令人担心”后，把他从自己的班里赶走。
Nikki Giovanni, a well-known poet who was also one of Cho's teachers, found his writing so "weird" and "intimidating" that she had him removed from her class in the fall of 2005.
安切洛蒂承说：“我想队员们在比赛结束后肯定很失望，因为我们输了，奇迹并没有发生。”
Ancelotti commented: "I think the players were disappointed at the end of the game because we lost. Nothing special happened."
安切洛蒂承说：“我想队员们在比赛结束后肯定很失望，因为我们输了，奇迹并没有发生。”
Ancelotti commented: "I think the players were disappointed at the end of the game because we lost. Nothing special happened."
应用推荐