| 词汇 | lemma |
| 释义 | lemma noun[ C ] language specializeduk /ˈlem.ə/ us /ˈlem.ə/ a form of a word that appears as an entry in a dictionary and is used to represent all the other possible forms. For example, the lemma "build" represents "builds", "building", "built", etc.: （词典中的）词目，条目 Only headword lemmas are placed in the table.表格中只列出了词目。 The lemma and form together make up the information associated with the lexical entry for each word in the lexicon. The lemmatised form is simply a convenient representation of the headword lemma. During the lemma selection process, semantically and syntactically appropriate lexical items are selected from the mental lexicon. Linguistics: grammatical terms ablative apposition appositive appositively attributively collocate concord dative feminine genitive indirect object inflected nominal plural post-modifier postposition postpositional postpositive postpositively syntax Examples of lemmalemma The first part of the lemma below also follows by construction. The lemma below states that any two types, that are convertible after an application of small substitutions, have equal interpretations. We start with a preliminary lemma, which states that proper has indeed the desired effect. This leads to a contradiction and ends the first part of the lemma. To define the section at these places we shall need the following simple lemma. In the next section, we shall need the following technical lemma. Following the construction of the previous section, we obtain the following lemma. First, we need a lemma that shows that the translated term simulates the behavior of the original term in some way. If it does not touch a hole, then i+1 is given by the uniform transition lemma. Lemma 4.4 plays a key role in this proof. Since assignments are total functions, the following substitution lemma is true only under condition that s is defined. As r and d involve only single instantiations, not general substitution, the proofs of those results do not need the usual substitution lemma. We conclude by coinduction that the conclusion of the lemma holds for all typed assertions. Its behavior is largely determined by the previously proved lemmas in its database at the beginning of a proof attempt. In the following lemma, if, means one or two rewrites and °^i means zero, one or two rewrites. These examples are from corpora and from sources on the web. Any opinions in the examples do not represent the opinion of the Cambridge Dictionary editors or of Cambridge University Press or its licensors. |
| 随便看 |
|
反思网英语在线翻译词典收录了377474条英语词汇在线翻译词条，基本涵盖了全部常用英语词汇的中英文双语翻译及用法，是英语学习的有利工具。