查询词典 although

Although the axiom of constructibility does resolve CH, it is not generally considered to be intuitively true any more than CH is generally considered to be false.

要反对这一观点，要是能展示一条既能被直观所支持、又能从证明或证否面解决连续统假设的新公理，那就很足够了。

Although axiomatic systems and proof method for temporal logic have found so far relatively few applications in the query language modeling of temporal database and that was proved by Gabbay, et al in 1994, the model of time axes still must be built axiomatically, which owns soundness and completeness and depicts the time axes in fine grain.

尽管在1994年，Gabbay等人论证了时态逻辑的公理化系统和证明论方法是不适合于时态数据库查询语言建模的，但是仍需要通过对时间轴的公理化建模，利用公理化系统的可靠和完全等性质对时间轴作"细精度"的语义刻画。

However, Grassmanns system is so abstract and far away from the tradition as not to be understood. Its influence on the foundation of modern vector analysis is not as it should have impacted although it does affect on the axiomatization of vector theory.

遗憾的是，由于格拉斯曼的系统内容过于抽象和偏离传统而难为时人理解，它对现代向量理论的创立没有起到应有的作用，但格拉斯曼的工作却对向量的公理化具有较大影响。

However, Grassmann's system is so abstract and far away from the tradition as not to be understood. Its influence on the foundation of modern vector analysis is not as it should have impacted although it does affect on the axiomatization of vector theory.

遗憾的是，由于格拉斯曼的系统内容过于抽象和偏离传统而难为时人理解，它对现代向量理论的创立没有起到应有的作用，但格拉斯曼的工作却对向量的公理化具有较大影响。

Although the axiomatize of set theory dispels the crisis of axiomatizing in some time.

虽然集合论的公理化一度时期曾化解了悖论给公理化方法所带来的危机，但不久哥德尔不完全性定理就深刻地揭露了公理化方法不可避免的局限性。

They have a nice feel to them and the axle although visible, isn't felt by your feet.

他们有一个很好的感觉，尽管他们和可见的车轴，是不是你的脚感觉。

Although the Uru might have preceded the Aymara in the region, by the twelfth century they were poor fishermen and landless workers.

虽然在美洲大陆上，乌鲁本可以超越艾马拉，但是直至12世纪，那里的人们仍旧是贫穷的渔民和没有属于自己土地的工人。

However, in the detection of HBsAg subtypes should pay attention to the problem, HBsAg has adr, adw, ayr, ayw4 subtypes, although the subtypes of each have the same determinants of a reactive, which is made with the monoclonal antibody sandwich method should be attention.

但在HBsAg的检测中应注意亚型问题，HBsAg有adr、adw、ayr、ayw4个亚型，虽然每种亚型均有相同的a决定簇的反应性，这也是用单抗作夹心法应注意的问题。

With no cure at present, although new drugs, such as AZT, have given researchers renewed optimism in AIDS, prudence could save thousands of people who have yet to be exposed to the virus.

目前尚无特效药，但也出现了一些新药，比如 AZT，能够给研究员带来对抗艾病的希望，审慎能够挽救很多遭受艾病折磨人的生命。

A few of y'all have asked me about him and I vaguely remember his Aztec playing days, although not nearly well enough to provide any insight.

很多人都问我有关于他的情况。我隐约记得他在 Aztec 打球时的那些日子，尽管我的洞察力还远不够深入。

However, as the name（read－only memory）implies, CD disks cannot be written onorchanged in any way.

然而，正如其名字所指出的那样，CD盘不能写，也不能用任何方式改变其内容。

Galvanizes steel pallet is mainly export which suits standard packing of European Union, the North America. galvanizes steel pallet is suitable to heavy rack. Pallet surface can design plate type, corrugated and the gap form, satisfies the different requirements.

镀锌钢托盘多用于出口，替代木托盘，免薰蒸，符合欧盟、北美各国对出口货物包装材料的法令要求；喷涂钢托盘适用于重载上货架之用，托盘表面根据需要制作成平板状、波纹状及间隔形式，满足不同的使用要求。