语法性

In the second part, a contrast is made from the perspectives of general picture, conception of sentence and key idea of grammar, and, as a result, ten pairs of distinguishing characteristics are generalized and presented: Tree-likeness vs. Bamboo-likeness, Active vs. Passive, Stative vs. Dynamic, Abstract vs. Concrete, Personal vs. Impersonal, Hypotactic vs. Paratactic, Hidden vs. Marked, Positive vs.

第二部分从整体面貌、句子概念和语法核心理念三个角度对英汉两种语言进行了对比，并总结指出了十组区别性特征：树与竹、施与受、静与动、虚与实、我与他、形与意、潜与显、正与反、前与后、简与繁。

Prefabricated language ; idiom ; idiomatic expression ; the Idiom Principle ; Functional Grammar

吉林大学；赵巍预制性语言；习语；习语表达；习语原则；功能语法

Ordinary language, literariness or poeticalness, grammaticality and poeticality, grammar and rhetoric, and the structuring art of selection and combination.

文中谈到许多相关问题，包括：课程之实用或非实用、文学的语言或普通的语言、文学性或诗文性、语法与诗法、文法与修辞、选择与安排的艺术等。

The quantifier is one of modern Chinese grammar traits and the individual companion quantifier is the most representative one in quantifier system.

量词是现代汉语语法的特点之一，陪伴性个体量词是量词系统中最具有代表性的一类。

Antinomy is expressed in scope,semanteme,function and nature while compatibility in structural unit and structural composite.

在话语中，由于词汇、语法两个视点的交互、矛盾、纠结而产生了一系列对立性和相容性的问题。1。

The author constructed a linear schemes type Region-Project-Join-Normal-Form based on lossless join decomposition, and gave the form of RPJNF through the presentation of equivalence between semantic variable independence and syntax variable independence under finite precision domain. Some other new constraint data dependencies including partitioned multi-region existence dependency and single region existence dependency were also presented. A result of variables set under linear transformation was discussed.

文中给出并证明了多区域存在依赖满足的几条推理规则；提出并证明了线性序约束关系进行模式无损连接分解的充要条件是变量集满足变量独立和多区域存在依赖；设计了一种基于模式无损连接分解的区域投影连接范式；通过证明有限精度域上语义变量独立和语法变量独立的等价性，给出有限精度域上RPJ范式的表达形式。

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一归结原理进行了初步探讨。

First of all, the clustering result is corresponding to the Kripke structure. The relevant system of axioms is chosen by the correspondence between the syntax and semantics of modal logic.

首先将聚类结果对应于模态逻辑中Kripke结构；然后利用模态逻辑中语法与语义之间的对应性选取了相应的公理系统。

A speech recognition unit in combination with a part-of-speech tagger, a disfluency identifier, and a parser form a natural language system that helps machines properly interpret spoken utterances.

语言识别单元和词类标志器、不流利性鉴别器以及语法解析器组合形成能够帮助机器正确解释口语的自然语言系统。

As one of the analytical tools in critical linguistics, the transitivity approach to discourse analysis began when M.A.K.

及物性语法是批评性语篇分析的主要工具之一。

Singer Leona Lewis and former Led Zeppelin guitarist Jimmy Page emerged as the bus transformed into a grass-covered carnival float, and the pair combined for a rendition of "Whole Lotta Love".

歌手leona刘易斯和前率领的飞艇的吉他手吉米页出现巴士转化为基层所涵盖的嘉年华花车，和一双合并为一移交&整个lotta爱&。

This is Kate, and that's Erin.

这是凯特，那个是爱朗。