语义地

bureaucracy

官僚机构

自身力量(personalpower) 普遍教义(universaldoctrine)直接获利(immediategain) 官僚机构(bureaucracy)但直观的语义长方形图案的检查清楚地告诉我们,两个更深一层的逻辑上的可能性还是未填充上,即"复杂的"(complex)与"中立的"(neutral)术语的可能性,

New Castle

纽卡斯尔

它才有了现在这个名字,一些人认为它来源于古威尔士语GWIGAN,意思是"定居地",而另外的看法则是该地地名起源于萨克逊语和维京语,但是语义不详16、纽卡斯尔(NEW CASTLE) 该俱乐部因英国英格兰东北部的工业城市纽卡斯尔而得名,

competition

竞争

就是说,"竞争"有两种类型,即"竞赛"(emulation)与"竞争"(competition),我们积极地支持、赞赏后者. 前者"竞赛"是从"模仿、仿效"这一语义中派生的,是向着被给与的同一个目标和模式"追赶"的顽强竞争;而在后者"竞争"中,目标本身是多元化的,

complete

完备的

能否提出一个新的逻辑系统它不必在逻辑上是完备的(complete)的,但能有效地应用于海量语义数据的推理?

explicitly

清楚地

一般而言,增词法在大的方面有两种情况:一是把原文句子里"隐含"(Implication)或上下文意思清楚而没有写出来的词在译文里补进去,以便汉语能清楚地(Explicitly)表达原文的意思,也就是说这样的增词是出于语义上的需要;

cartographic pragmatics

地图谱用

04.118地图语义cartographic semantics | 04.119地图谱用cartographic pragmatics | 04.120制图综合(又称"地图概括")cartographic generalization

proof theory

证明论

在证明论(proof theory)和相关的数理逻辑的领域中,一个形式的演算(caluclus)相对于一个特定的逻辑(即相对于它的语义(semantics))是完备的,如果任何由一组前提Q根据语义导出的陈述P,都可以从这组前提出发利用这个演算语法地(syntactically)导出.

cartographic semantics

地图语义 地図的意味論

■ cartographic language 地图语言 地図言語 | ■ cartographic semantics 地图语义 地図的意味論 | ■ cartographic semiology 地图符号学 地図記号学

word

词

认真比较一下"语义三棱"与"语义三角",不难发现:仅从"词"(word)的观点(即:"词本位"的观点)来看,似乎什么问题也不会发现. 因为,"事物(thing)、意义(meaning)"对应地来看,似乎都不能再"切分"了. 但是,如果从"字"的观点(即:"字本位"的观点)来

cartographic semiology

地图符号学 地図記号学

■ cartographic semantics 地图语义 地図的意味論 | ■ cartographic semiology 地图符号学 地図記号学 | ■ cartographic symbol 制图符号 地図記号

Jaycee：房祖名

房祖名(Jaycee)投资六位数字代理薄荷糖,前晚於中环某酒吧举行庆祝派对,成龙大哥现身撑爱子场,引起一阵混乱,可惜成龙大哥一到场即急步进场,之后又走后门离去,整晚显得十分低调.

basement complex：基盘岩群;基盘杂岩

"基盘","basement" | "基盘岩群;基盘杂岩","basement complex" | "基盘岩石","basement rock"