查询词典 baritone horn

And the hairy goat is the king of Javan; and the great horn which was between its eyes is the first king.

8：21 那多毛的公山羊，就是雅完王；它两眼之间的大角，就是头一王。

We carried him by the lug and the horn before a justice of the peace.

我们费了大力把他扭送到地方法官。

In recent years, auto parts, including car electrical plugs, air filter, the color of the doors, security guards hand car seat, air conditioning combined switch chassis, car horn button, auto water Room Cypriot water, car-seat angle and various automotive plastics Kazi, and other products, the customer has won wide acclaim.

近年来，汽车配件包括汽车电器插头、空气滤清器、车门色条、车椅护手、空调组合开关底座、汽车喇叭按钮、汽车水室水塞、汽车座椅调角器和各种汽车塑料卡子等产品，赢得了客户的广泛好评。

The car behind us really annoys me. i do not know why the driver keek riding on the horn.

后面那辆车真让人受不了，我不明白那司机为什么一直按喇叭。

Indeed,you are'horn ofthe age',you seer away, But you tellit is daybreak when it is yet dark. You are SO chubby,SO so,and SO remote, Let yourselves float comfortably under the green leaves,With ae-coloured string tied at the end.The lady leaning on the garden chair says to the playboy, Careful do not let this balloon go!

你是"时代的号角"，远远望见，说那是黎明时的黑暗，你是那么丰满、柔软、遥远，系着五色彩带舒适地在绿叶下漂浮小姐靠在花园的椅子上告诉顽童，"小心，别放走这只气球！"

An ornamented saddle used by cowboys; has a high horn to hold the lariat.

牛仔用的装饰了的马鞍；有一个高的鞍角来挂套索。

But even if I didn't, it's the fact that Lena Horn is an icon of American history.

但是，即使我没有，这是事实，莉娜霍恩是美国历史上的图标。

The horn comes from the goat that my Live Oak classmates and I roasted and ate at a birthday camping party.

羊角是在韦科参加同学生日野营时得到的，那只野羊是我们猎来的美食。

In SPVT (security protocol verifying tool), the specification language is the π-like calculus extended with three appendixes, the Dolev-Yao model is described with Horn logic rules, the π-like calculus model of security protocol is transformed into the logic program model by abstract rules, the security properties are verified based on the calculus of the logic program's fixpoint, and the counter-examples on security properties are constructed from the process of the fixpoint calculus and the process of the property verification.

在SPVT中，以扩展附加项的类演算作为安全协议描述语言，以扩展附加项的Horn逻辑规则描述协议攻击者的Dolev-Yao模型，通过一组抽象规则将安全协议的类(演算模型转换为逻辑程序模型，基于安全协议逻辑程序的不动点计算验证安全性质，从安全协议逻辑程序的不动点计算和安全性质的验证过程中构造不满足安全性质的安全协议反例。

Thirteen species of wild life enjoy state protection, including loris, the gibbons, the red-necked cranes, the brown-neck horn-bills, and the green peacocks, which to the Dai people are a symbol of peace, happiness and good fortune and whose graceful postures can put professional dancers to shame.

野性寿命的十三个式样拥有状态保护贸易制，含狐猴之类，长臂猿，红色拥抱的起重机，棕-颈角状物-对奶妈人们是一个和平的符号，快乐和好命运和优美的姿势能放职业上的舞者侮辱的法案，和绿的孔雀。

The use of the web to spread fears that flicking the switch on the LHC could create a Black Hole that could swallow up the Earth particularly concerned him, he said.

他说，使用互联网散布恐慌说启动LHC会生成一个可能吞噬地球的黑洞的做法让他感到忧虑。

Not a single word have I written down.

我一个字也没有写下来。