找到

bounded universal quantifier

有界全称量词

不幸的是,在戴维斯找到的关联中用到了一个被称为有界全称量词(Bounded Universal Quantifier)的逻辑算符. 如果没有这个有界全称量词,他就可以证明所有的递归可枚举集都是丢番图集,大功也就告成了. 可是数学证明是差不得分毫的,因为有了这个有界全称量词,

Wooden Box

木盒

左边的桌子上找到一把开信刀(Stiletto),并在中间台上的桌子柜子上得到鹅毛笔(Goose-quill)和木盒 (Wooden Box). 右边中间的书桌上有张白纸. 右边最前面的桌子上有本如何配置墨水的书,按书上的提示,用水、角蕨和骨炭黑调成墨水.

Brahui

布拉灰语

现在只有印度南部地区和巴鲁齐斯坦(Baluchistan)还流行这种德拉维语,那里把德拉维语称作"布拉灰"语(Brahui),而这两个地区离开印度河并不远. 如果德拉维语的假说成立,那么就有可能从泰米尔古语中找到与德拉维语相匹配的词汇.

Brake pipe

制动管

找到了两次错误,我又不停地在列车上来回走动,发现诸如一些"广播开关"(broadcasting switch)、"制动管"(brake pipe)、"列车员室"(attendant compartment)这样简单的名词修饰名词的翻译方法都还说得过去.

break even

盈亏平衡点

盈亏平衡点(Break even)是固定成本从产品销售中收回固定成本,但并没有产生利润的产品生产数量. 促销和生产都很费钱. 必须找到一个方法来收回这些投资. 营销的整体意义就在于此,即:回收成本、创造利润.

Bertold Brecht

布莱希特 翻译:小熊熊啊(宁老师)

Bertold Brecht 布莱希特 翻译:小熊熊啊(宁老师) | Der erste Blick aus dem Fenster am Morgen 清晨醒来第一眼望向窗外 | Das wiedergefundene alte Buch 找到很久不见的书本

bride

新娘

纽约人真的是很幸福,这么多大师级的作品离他们也就是几个街区的距离,而全世界有多少美术学生,一辈子也只能在纸上看看copy. 不知道它是否收藏在这里,我没有找到曾经在一门课上写论文"研究"过的赛尚的>(Bride).

bridle

马缰

现在走近右边的船头,键入"看地板"(look on ground),可得到马缰(bridle),吹口哨,乘上海豚. 在到达大陆后,找到独角兽,走近它,键入"给独角兽勒马缰"(bridle unicorn),现在可以骑上独角兽了,再与罗罗德交谈,将她带到魔鸡(magic hen)那里.

Aluminum briefcase

是个铝制公文箱

Fortunately, Catherine figured out the exterior container.|幸好凯萨琳 找到了炸弹箱子的碎片 | Aluminum briefcase.|是个铝制公文箱 | And we know the timing device.|我们还知道时钟

bring sth. up here

把......带上这儿来

bring sb. close to the right answer 使某人更快找到正确答案 | bring sth. up here 把......带上这儿来 | bring the washing in 把衣服收进来

Anopheles candidiensis：日月潭疟蚊

\\"疟蚊属\\",\\"Anopheles\\" | \\"日月潭疟蚊\\",\\"Anopheles candidiensis\\" | \\"中华疟蚊\\",\\"Anopheles hyrcanus var. sinensis\\"

Gnome Milnes:GNOME：下的扫雷

2. Games:游戏软件 | 1) Gnome Milnes:GNOME下的扫雷; | 2) Gnibbles:贪吃蛇游戏;