定例局: legislative council of hong kong否定例证: negative i tance; negative instance肯定例证: positive i tance; positive instance固定例行程序: ca ed routine; canned routine; fixed routine等连用时表示部分否定例如: both quite altogether always这要作你们世世代代永远的定例: it shall be a statute for ever throughout your generations定利: sadatoshi定立: dinhlap; standing up定礼: (彩礼) betrothal gifts (from the bridegroom to the bride's family); bride-price定粒缫丝: reeling with fixed number of cocoons定理证明用逆向产生式系统: backward production system for theorem proving定力: the power of meditation定理证明技术: theorem proving technique定力点, 正牙抗力固定点: points of resistance force定理证明机: theorem proving machine