| 单词 | entailment |
| 释义 | entailment noun[CorU] uk/ɪnˈteɪl.mənt/us/ɪnˈteɪl.mənt/linguistics,social sciencespecialized therelationshipbetween twostatementswhen for one to betrue, the other must also betrue （语义或逻辑）蕴涵Linguistic terms & linguistic style
Examplesofentailmententailment Of course, the definitions of specifications andentailmentcan be used when the propagator is fractioning. From theCambridge English Corpus The lack ofentailmentholds across both variants. From theCambridge English Corpus Bootstrapping knowledge representations: fromentailmentmeshes via semantic nets to learning webs. From theCambridge English Corpus However, the inference of completion is an implicature and not anentailment, and its availability is heavily influenced by pragmatic factors. From theCambridge English Corpus It waits until the store contains enough information to decide whether the pattern is matched (entailment) or can never be matched (disentailment). From theCambridge English Corpus A reasonable interpretation of an indicative conditional prefixed by a ' % ' is as stating anentailment. From theCambridge English Corpus The obviousentailmentis that there is malfunction somewhere in the person's noetic establishment. From theCambridge English Corpus We must therefore turn to a paraconsistent notion ofentailment. From theCambridge English Corpus Entailmentand consequence are related by the following result, which is easily derived from the properties of adjunction. From theCambridge English Corpus It might be thought that mere logical equivalence is not enough, since knowledge is not closed underentailment. From theCambridge English Corpus This lastentailmentresults from the update condition of the predicate bald, unlike the two previous entailments, which derive from the preconditions. From theCambridge English Corpus Normally the right had originally been sold by the owner to the lessee when the land could not be sold freely due toentailment. From theCambridge English Corpus In particular a constant-time meet is achieved using difference lists and a quadratic-timeentailmentcheck is built using delay declarations. From theCambridge English Corpus But it does mean that the negation operator cancels all entailments except necessary truths. From theCambridge English Corpus Entailmentchecking is quadratic in the number of variable occurrences (using a forward chaining algorithm), hence by using this test, join can be refined. From theCambridge English Corpus 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. |
| 随便看 |
英汉词典包含213609条英汉翻译词条，涵盖了常用英语单词及词组短语的翻译及用法，是英语学习的必备工具。