也就是说

Description Logics

描述逻辑

描述逻辑(Description Logics)就是一种建立在一阶谓词逻辑之上的用于描述本体数学性质的形式化工具 . 从表面上看来,描述逻辑并不是一阶谓词逻辑的子语言,也就是说它们采用的是不同的语言结构,但实际上描述逻辑从语义上对应着一阶谓词逻辑的一个部分(fragment),

marriage license

结婚证

首先是要在举行结婚仪式至少24小时之前领取结婚证(Marriage License). 这个结婚证的有效期是三个月,也就是说,你应该在领取结婚证后的三个月以内举行结婚仪式. 结婚仪式可以是宗教形式(Religious Ceremony)的,也可以是世俗婚礼(Civil Ceremony),

Microwaves

微波

Smith)领导一个专家小组,他们用一个圆形的遮蔽装置(circular cloaking device)成功地使微波(microwaves)绕过了铜盘(copper disk),也就是说,这个铜盘在微波中就像隐形一样.

balance unutilized

未结算余额

bills held by you for collection是贵行所持可托收票据吗? | balance unutilized 未结算余额? | to whom issued此句主语是保函,也就是说被发给保函的一方被称为??被保方?.........

Mistrels will write sogs about him

吟游诗人会为他写歌

也就是说他将有更多的战利品Which meas his triumph will be eve larger. | 吟游诗人会为他写歌Mistrels will write sogs about him. | 这样吧Okay, how about this?

overtones

泛音

如果我们训练我们的耳朵去比较乐音,那么,我们将能够听出这些较高的音调,即泛音(overtones),也就是说,可以从基音中听出泛音来. 业已发现,我们的乐器的每种音调和人声的每种音调均包含大量的泛音,因此严格地讲,我们无法感觉一种简单的音调,

single-layer

单层的

如果说传统的影像是单层的(single layer),那么电脑时代的影像则是多层的(multi-layer),也就是说,在一个镜头里,从不同媒体引进的多层影像可以最后组合成一个完成的单一镜头,这一镜头可能含有十多层、几百层、甚至无限多层的影像.

Risk premium

风险保费

而拒绝个体的投保. 进一步,我们可以证明风险厌恶的保险人会选择的保险费率条件是p>. 也就是说,风险厌恶的保险人只有在得到一笔正的风险保费(risk premium)时才会提供保险契约.

register office

登记处

市政府的土地登记处(Register Office)的Cristien告诉我,解决邻居双方对后院边界大小的争端,并不包括在隔离栏调查员提供的服务范畴内. 只有在双方都决定了边界线后才谈得上请隔离栏调查员. 也就是说,在调查员上门之前,邻居双方对边界线应有明确的认同.

LBO

杠杆收购

而"杠杆收购"(LBO)正是利用资本以小博大的关键所在. 不过,按照高盛此前的投资策略,其很少对一家企业的投资持股期超过三年. 也就是说,在收购沃尔沃项目上,高盛更多扮演的是投机者兼吉利"幕僚"的角色,这就是说一旦并购成功,

overturned：倒转的

倒转的 inverted | 倒转的 overturned | 倒转点 inversion point

remind sb of/about sth：使某人想起

9. on the go 忙碌, (整天)奔忙 | remind sb. of / about sth. 使某人想起... | have fun 取乐