查询词典 be contrary to

Aimed to two major problems: one is not decidable and the other is no clear semantics. We construct a framework with explicit representation and formal semantics of goalsgoal description logics, which integrates two types of goals: declarative goals and procedural goals into one concept based on description logics. In addition, the goal plan is defined and analyzed, and some reasoning problems, such as goal consistency and goal satisfiability, are discussed. Contrary to traditional ways of goal description, GDLs can bridge the gap between theory and practice in a natural way.

针对传统的目标描述中存在的不可判定性以及没有清晰的语义等问题，在描述逻辑(description logics，DLs)上，将宣称型和过程型2种类型的目标描述有机地整合在一起，从而构建了具有清晰语义与可判定性的形式化框架--目标描述逻辑(goal description logics， GDLs)，在此基础上，定义了该框架下有关规划规则；建立了可用于判定目标一致性、目标可满足性的方法，与传统的目标描述方法相比，目标描述逻辑为主体领域模型提供了一种更有力的形式化工具，同时为智能主体的模型和设计提供了很好的理论工具。

On the contrary: their good relations were based above all on her serving as a screen for the secret love between him and a classmate of hers, and she had agreed to act as his godparent at the wedding.

相反的，他们之间的友谊是建立在她为他充当掩护的基础上的：他和她的一个女同学正在秘密恋爱。她也答应在婚礼上充当他的教母。

Contrary to Brother Gracchus' wishes, their reform failed to restore the status of the small farmers and con...

与格拉古兄弟的愿望相反，他们的改革不仅未能恢复小农往昔的地位、巩固共和宪制，在客观上反倒确认了土地私有制和商业货币经济的发展。

Of inheritance, passes the entire estate of the grantor unless a contrary

除非有相反的意思表示，即使没有遗产宣告，以合伙名义获得的一项让与拥有让与人对该让与财产享有的所有权益。

The French supposed, on the contrary, judging from the energetic action of the battery, that the chief forces of the Russians were concentrated here in the centre, and twice attempted to attack that point, and both times were driven back by the grapeshot fired on them from the four cannons which stood in solitude on the heights.

相反地，敌军根据这个炮台的十分猛烈的射击来推测，认为俄军主力集中在这里的中央阵地，因此曾二度试图攻打这个据点，但二度均被孑然耸立于高地的四门大炮发射的霰弹所驱散。

On the contrary,the international arbitration of the methods to settle has the grater effectiveness.

相反，国际仲裁作为争议解决手段之一具有非常高的效率。

The different fishes which are employed in the present studies are wild-type salmon, cultured salmon of freshwater and seawater, sea perch and fat greenling. The complete CT gene sequences of salmons are obtained by PCR amplification. The partial CT sequences of sea perch and fat greenling are obtained by in vitro cloning PCR method. Alignment of obtained CT sequences with other fish CT shows that CT appears to be well conserved among the same family. And the relative in taxonomy is far away, the similarity of different fish CTs is low. On the contrary, the closer the relative in taxonomy is, the higher the similarity of different fish CTs is. The sCT is expressed in pGEX-4T-X by recombinant form . We also succeed in the research of sCT expression alone by expression PCR. In addition, sCT antiserum is obtained using GST-sCT as antigen, and the high titer is tested by double immunodiffusion. In the rat bioassay, administration of 50 μg recombinant protein evoked significant hypocalcemia at 1 h after the data are analyzed by t-test.

本文用PCR方法克隆了野生鲑鱼、养殖鲑鱼的降钙素基因，并应用体外克隆PCR的方法首次克隆出鲈鱼、六线鱼降钙素的部分基因序列，通过对克隆的降钙素序列的比较研究，结果显示同一科的鱼降钙素序列保守性较高，同时，根据降钙素的部分氨基酸序列进行了降钙素相似性的比较研究，结果显示在分类学上，分类地位较远的鱼，其降钙素相似性较低，分类地位越接近的鱼，其降钙素相似性越高；我们利用谷胱甘肽S-转移酶(Glutathions S-transferase，GST)融合表达载体pGEX-4T-X对克隆的鲑鱼降钙素基因进行了融合表达研究，应用表达PCR的方法对降钙素基因的独立表达进行了初步的研究探索，并将纯化的融合蛋白作为抗原，获得了高效价的兔抗鲑鱼降钙素免疫血清；生物活性研究表明，大肠杆菌表达的融合蛋白具有显著的降血钙作用。

On the contrary, it may end in grievous failure.

相反的，这种抗战存在着严重失败的可能。

On the contrary, I'm playing with millions of people. Just because they're not showing in my group doesn't mean they're not there.

其实相反，我在和很多人一起游戏，不能因为他们没有出现在我的现实生活里，就否定他们的存在。

On the contrary, if I am a grower of wheat, say, I want my particular crop to be as large as possible.

相反，如果我是一个麦农，我会希望我所种植的小麦产量越高越好。

The receding calculations and experiment analyses in this subject are built on the blood cast of pig tongue.

本研究课题的前期工作是采用猪舌血管铸型模拟人舌而进行的数值计算与实验分析。

"Each human infection constitutes an opportunity for genetic modification of the virus through reassortment, mutation, or both...."

&每一次人类的感染都暗藏着一次基因修改的机会，无论是通过病毒的整合、突变或者兼而有之。。。。&