1)equality[英][i'kw?l?ti][美][?'kwɑl?t?]等词
1.An Algorithm for Two Separate Tableau with Equality;一种含等词的分阶段tableau算法
2.The hyper tableau calculus is capable of solving first-order logic problems with equality by introducing superposition to it, which is competent in equality reasoning.将处理等词问题的Superposition方法引入超表演算中,使超表演算能处理含等词的一阶逻辑问题,这种新的表演算不但具有完备性,而且无需回溯,是用表演算完成含等词的一阶逻辑定理机器证明的一种尝试。
3.This paper diseusses the connection method with equality in automatedtheorem proving.该文讨论了带有等词的连接法，给出了形式化的定义，证明了带有等词的逻辑公式是ｅｑ有效的当且仅当它有互补复合例的规范矩阵的定理，并设计了带有等词的连接法的有关算法。
英文短句/例句
1.Compare machine, tool, etc.试比较machine、 tool等词.
2.school NOTE ON USAGE When a school,hospital,etc is being referred to as an institution,we do not use the definite article after a preposition当school、hospital 等词指机构时,在介词后不加定冠词
3.On the Semantic Differences Between Korean Chinese-character Words and Their Chinese Counterparts浅谈韩国语汉字词与汉语对等词的词义差异
4.misuse a word, expression, etc误用一词、 词组等
5.a slang word, expression, etc俚语词、 词语等.
6.combine(words,phrases,etc)to form meaningful statements将（词、词组等）连结成语句
7.a copulative conjunction系语连接词((and 等))
8.Subject plays a very important role in the traditional document organization and manual retrieval.主题法包括关键词法、题词法、词法等。
9.(of corrections in text)replace(one word, etc)with another（指勘误）将（某词语等）改作另一词语等
10.The Similarities and Diffenences of Etc.Word Group;关于英语中“等等”词、词组用法异同比较
11.Basic English Key Words List 1 - Basic Verbs, Prepositions, Articles, Pronouns, etc.基础英语关键词列出1-基本的动词、介词、文章、代词等等。
12.She discusses parts of speech, basic sentence patterns, verbs, nouns, adjectives and adverbs, prepositions, relative clauses, imperative sentences, and so on.内容包括词类、基本句型、动词、名词、形容词与副词、介词、关系子句、祈使句等等。
13.ENGLISH-CHINESE NONEQUIVALENTS-ZERO OF EQUIVALENCE AND THE CONFLICT IN THE MEANING OF WORDS;英汉词语的不对等性表现——词汇空缺与词义冲突
14.Person who dispenses medicine上显示的词语、画面等
15.word,remark,etc that reproaches责备的言词、话语等
16."I don't know until I look it over.“我要等看完台词才知道。
17.a well-turned compliment, phrase, etc措辞优美的赞扬、 词语等.
18.voluble protests, excuses, etc振振有词的抗议、 辩解等.
相关短句/例句
equivalent[英][?'kw?v?l?nt][美][?'kw?v?l?nt]对等词
1.The results show that,(1)CELD is used in mainland with a comparatively low frequency,(2)it is mainly applied in the learning tasks of Chinese-English translation and English writing,and(3)it is expected to improve in terms of meaning discrimination between equivalents,coverage and grammatical and cultural information about equiva.调查结果显示:(1)大学生对于内向型汉英学习词典的使用频率并不高;(2)主要用于汉语-英语方向的翻译与英语写作的学习任务中;(3)大学生希望现有词典在对等词间的词义辨析、收词量、对等词的语法信息、对等词的文化信息等方面有所改进与提高。
3)equivalence predicate等价谓词
1.In this paper, we first discuss the methods of implementing a query rewrite module on the basis of rewrite technology and then put forward a set of simple rewrite rules based on equivalence predicate.本文详细讨论了重写模块的设计思想与实现技术 ,并讨论了利用执行引擎特点引入的一组基于等价谓词的简单语句重写规则 。
4)lexical-semantical equivalence词义对等
5)word frequency levels词频等级
6)synonym[英]['s?n?n?m][美]['s?n?'n?m]等义词
1.A large number of new synonyms have appeared in the contemporary Chinese language.当代汉语出现了大量的新等义词,其中绝大多数既无理据,也无必要,是对词汇发展规律的逆反,所以本文称之为“返祖”现象。
延伸阅读
长等短等1.犹言左等右等。谓等待久。
