1) Lift-Igniting
提升引弧
2) Touch-life arc
接触提升引弧
3) lifting lemma
提升引理
1.
The present paper represents the ordered factor of a ordered clause defined anew, and a proof of the lifting lemma under the new definition.
本文重新定义了有序子句的有序因子,证明了在这种有序因子定义下的提升引理,进而在理论上得到了多重取因子的线性序归结方法的完备性。
4) suction lift
吸引提升机
5) bail lift
牵引环提升
6) bail raise/lockdown
牵引环提升/锁定
补充资料：梅花引 中州乐府案此下中州乐府原有梅花引
【诗文】：
蒿火目。藜羹腹。书生宁有封侯骨。长须奴。下泽车。艰关险阻，谁教涉畏途。半生落漠长安道。一事无成双鬓老。南辕胡。北辕吴。功名富贵，情知不可图。槐安梦。鼓笛弄。驰骤百年尘一哄。陶渊明。张季鹰。一杯浊酒，焉知身後名。有溪可渔林可缴。须信在家贫也乐。熊门春。＊江云。几时作个，山间林下人。
【注释】：
【出处】：
蒿火目。藜羹腹。书生宁有封侯骨。长须奴。下泽车。艰关险阻，谁教涉畏途。半生落漠长安道。一事无成双鬓老。南辕胡。北辕吴。功名富贵，情知不可图。槐安梦。鼓笛弄。驰骤百年尘一哄。陶渊明。张季鹰。一杯浊酒，焉知身後名。有溪可渔林可缴。须信在家贫也乐。熊门春。＊江云。几时作个，山间林下人。
【注释】：
【出处】：
说明：补充资料仅用于学习参考，请勿用于其它任何用途。
参考词条