列为

"From the primitive symbols, certain formulas are defined as well formed, some of which are listed as axioms; and rules are stated for infer ring one formula as a conclusion from one or more other formulas taken as premises."

公式即基设符号所形成的一种良构表式，其中一部分被列为公理；推演规则被用来从一个或多个作为前提的公式推演出一个作为结论的公式。

Historical sites: the southern slope of Kawamura Red-billed Hill, since the beginning of the spring of 1964, the provincial model workers Guo Shan, 23 after the Spring and Autumn Period, the practice of repeatedly and continuously explore, to create a land-for-drought level terrace renovation sik Tree technology, in order to move fortitude striking more than 42,000 cubic meters of earth, iron mill bald Catalpa low post and the first 17, 753 to renovate into a high-standard terraced fields, planting 125 acres, planted fruit, pears, peaches, apricots and other economic and elm trees, Chun, Huai Yang, pine and cypress trees, and other ecological 10,000 a total of more than 3.84, in the past so that the bald ridge of barren hills into a tree, pear fragrance of the landscape, Guo Shan as the "Red-billed the new hill-yu Public,"Red-billed Hill will be listed as one of the eight new Ning.

名胜古迹：南坡川村红嘴山，自1964年春开始，省劳动模范郭富山，历经二十三个春秋，反复实践，不断摸索，创造出抗旱换土水平梯田整修植树技术，以惊人的毅力移动土方42000多立方米，磨秃铁楸和橛头17把，修整成753块高标准梯田，造林125亩，栽种果、梨、桃、杏等经济树种和榆、椿、槐、杨、松柏等生态树种共3.84多万株，使过去的荒山秃岭变成了绿树成荫，梨果飘香的风景之地，郭富山被誉为&红嘴山上新愚公&，红嘴山被列为会宁新八景之一。

Formed in 1960, this top ranked and highly accomplished Swedish band has built a big reputation all over the world and long been rated as one of the best Swedish traditional Jazz groups for its really foot-tapping brand of "happy Jazz" within its forty-five history.

佩奥利雅爵士乐队成立于1960年，在过去的四十五年历史中，这支一流的、成就非凡的老牌瑞典乐队以其极具感染力的&快乐爵士&招牌多年来一直被列为瑞典最佳传统爵士乐队之一，更在国际上建立了广泛盛誉。

There are more than 300 national parks, national seashores, national forests, and recreation areas.

美国人已经设法采取相应措施，许多被列为一级自然环境的地区得到了保护[见修订4]。

With the inimitable Chris Paul running the show, New Orleans already elicits plenty of fear around the league; but when you factor in another year of experience for its young roster and the addition of free agent James Posey, the Hornets suddenly seem scarier than a breakfast of week-old gumbo after a night out on Bourbon Street.

偕同独特的CP3运转这一体系，小蜜蜂已经引出了一串恐惧；但是当你将这些年轻球员的另一年的经验以及POSEY的加入这些列为重要因素时，蜜蜂突然看上去比在波本街睡了一宿后喝了一碗一周前做的Gumbo海鲜汤作为早餐的人更胆小。

Indeed the AKC tiny Chihuahua's listed as one of the top toy breeds in the United States.

事实上， AKC微小奇瓦瓦的列为顶端玩具品种在美国。

Casio contrast is in fact better (even though it is listed as 1800:1 versus 2000:1 of the LG).

卡西欧对比其实是更好的（尽管它被列为1800：1与2000：1的LG电子）。

The book also features an easy-to-use glossary of medical terms and a list of resources and of centers designated by the National Cancer Institute as the best cancer facilities, including the Kimmel Cancer Center at Jefferson.

这本书还采用了易于使用的词汇的医学术语，并列出资源和教学中心，由美国国家癌症研究所列为最佳的癌症设施，其中包括该kimmel癌症中心在杰弗逊。

IE 7 has been upgraded as high-priority security level by Microsoft.

IE 7已经被微软列为高优先等级的安全升级。

The Great Barrier Reef composed of 900 islands stretching for over 2,600 kilometres, the world's largest living structure and an extremely fragile ecosystem listed in World Heritage.

大堡礁含盖的区域长达二千六百公里，区域内多到九百多座岛屿，它是世界上最大的生命体系而且极度的脆弱，目前已被列为世界遗产之一。

He and Nina moved to California and lived at 2005 Ivar Street, Apt.

他和Nina搬到加州，并在2005年伊瓦尔街，公寓生活。

Droperidol （ potently inhibits transfected HERGchannels and this is the probable mechanism for QT prolongation.

氟哌利多有效地抑制了转染的 HERG 钾通道，可能是 QT 间期延长的机制。