| 词汇 | entailment |
| 释义 | entailment noun[ C or U ] uk /ɪnˈteɪl.mənt/ us /ɪnˈteɪl.mənt/ linguistics, social science specialized the relationship between two statements when for one to be true, the other must also be true（语义或逻辑）蕴涵 Linguistic terms & linguistic style accentual affricate allophone allophony anaphor contextualize easy read emphatic etymological etymologically etymologist idiomatic inflected language philological philologically polysemy portmanteau word prescriptivism stylistics tautology Examples of entailmententailment Of course, the definitions of specifications and entailment can be used when the propagator is fractioning. The lack of entailment holds across both variants. Bootstrapping knowledge representations: from entailment meshes via semantic nets to learning webs. However, the inference of completion is an implicature and not an entailment, and its availability is heavily influenced by pragmatic factors. It waits until the store contains enough information to decide whether the pattern is matched (entailment) or can never be matched (disentailment). A reasonable interpretation of an indicative conditional prefixed by a ' % ' is as stating an entailment. The obvious entailment is that there is malfunction somewhere in the person's noetic establishment. We must therefore turn to a paraconsistent notion of entailment. Entailment and consequence are related by the following result, which is easily derived from the properties of adjunction. It might be thought that mere logical equivalence is not enough, since knowledge is not closed under entailment. This last entailment results from the update condition of the predicate bald, unlike the two previous entailments, which derive from the preconditions. Normally the right had originally been sold by the owner to the lessee when the land could not be sold freely due to entailment. In particular a constant-time meet is achieved using difference lists and a quadratic-time entailment check is built using delay declarations. But it does mean that the negation operator cancels all entailments except necessary truths. Entailment checking is quadratic in the number of variable occurrences (using a forward chaining algorithm), hence by using this test, join can be refined. 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条英语词汇在线翻译词条，基本涵盖了全部常用英语词汇的中英文双语翻译及用法，是英语学习的有利工具。