查询词典 quantifiers

Tableau method with quantifiers in first order many valued logic exist uniform expansion rules, and sound and complete have been proved by Zabel et al .

含有量词的一阶多值Tableau方法具有统一的扩展规则，并由Zabel等人给出了可靠性和完备性的证明。

The Chinese and English constructions of numerals and quantifiers are quite different.

在句式上，二者也存在较明显的差异。

Part Three The study of Lattice-valued Modal First-order Logic System and Its Resolution Principle In this part, we introduced quantifiers and predicate into LMP, put up lattice-valued modal first-order logic system LMF, and gave its semantic interpretation and syntax structure, proved soundness theorem and consistence theorem. Moreover, in order to judge the satisfiability of formula, defined Skolem standard type and H-interpretation. Based on these work, made a primary discussion of a - resolution principle based on LMF.

第三部分：关于格值模态一阶逻辑系统及其归结原理的研究第n页西南交通大学博士研究生学位论文这一部分主要是在格值模态命题逻辑系统LMP队）中引进量词和谓词，建立格值模态一阶逻辑系统LMF（广并给出其语又解释和语法结构，证明了系统的可靠性和协调性；另外，为了判断公式的可满足性，定义了格值模态一阶公式的 Skolem标准型和体解释；在此基础上，对基于系统LMF的a一归结原理进行了初步探讨。

If you use non-greedy quantifiers, watch out for matching too little, which is a symmetric danger.

如果您使用非贪婪的量词，观看了匹配太少，这是a对称的危险。

To sum things up,this dissertation compares the quantifiers used in Urdu with those used in Chinese.

总之，本论文是以汉语量词为参照，将乌尔都语与其进行比对。

The first chapter is an introduction,giving a general outline of Urdu as a language and introducing previous studies on quantifiers as well as the fundamental framework of this dissertation and methods adopted.

论文第一章为绪论，主要介绍乌尔都语的一些基本情况，以及前人对于量词研究的现状和本论文的基本思路和方法。

We discuss the relationship between the distribution of the quantifiers and the word order as well.

并探讨了数量分布与语序的关系。

It has some semantic changes when the same heterogeneous individual noun collocates with individual quantifiers or measure words .

&数+度量+个体名词&结构在所指事物的个体数量上存在歧义现象，同一个异质个体事物名词分别加个体量词与度量词时存在有不同的语义变化，加度量词时表示的一定是人类领域意义上的同质&个体性&事物的类，侧重事物的属性。

The third part described the characteristic of Uygur quantifiers, this part liquidates and summarizes the prevenient productions.

第三部分是维语量词的语法特征及其研究，这一部分主要对前人所做的有关维语量词的语法特征的研究进行了整理和总结。

There are five chapters in this dissertation: Chapter one introduces the cultural and geographical quo of Xiyang county, the attribute and"the initial consonant, vowel and tone"of Xiyang dialect; chapter two analyzes the reduplicated form of nouns, verbs, adjectives, quantifiers and adverbs, and its semantic trait and grammatical funct...

共分五个部分：第一章绪论，介绍昔阳的人文地理概况，方言归属以及声韵调系统；第二章是重叠式的研究，包括名词、动词、形容词、量词、副词等的重叠形式及其语义特点和语法功能；第三章是对子尾空缺现象的分析；第四章为儿化现象和普通话进行比较的异同研究；第五章考察当地两个特殊的结构助词&奈&与&哩&。

Neither the killing of Mr Zarqawi nor any breakthrough on the political front will stop the insurgency and the fratricidal murders in their tracks.

在对危险的南部地区访问时，他斥责什叶派民兵领导人对中央集权的挑衅行为。

In fact,I've got him on the satellite mobile right now.

实际上 我们已接通卫星可视电话了