entailment
蕴涵
The market contains unlimited potentials. Help your kids understand its importance too. This park also has a rich cultural history.Possible classes: entailment , contradiction, and neutral. Inside, these black boxes contain formulas made up only of implication and negation.
So the statement"2 is odd implies 2 is even" is true. 一个小小的产品、一种不经意的现象,都可能蕴涵 着深奥的科技发明。 A small product, a casual phenomenon, may contain profound scientific inventions. It is important to identify the"direction of implication " correctly. 即便政治消失了,将政治付诸实践的蕴涵 的普遍性还会继续存在。 Yet even if politics disappears, the universality of the implication that puts it into effect remains. 为了避免严格蕴涵 的悖论,一些逻辑学家建立了反事实条件。 To avoid the paradoxes of strict implication , some logician's have created counterfactual conditionals. 蕴涵 在事物表面的问题,而且只有蕴涵在事物表面的问题,才是事物的核心。The problem inherent in the surface of things, and only in the surface of things, is the heart of things. 因此一切都蕴涵 在时间和空间内,这就意味着有开始,也就有结束。 Given this, everything is contained by time and space and therefore must have a beginning and an end. 字母蓝带呈“S”变形,寓意Service(服务),蕴涵 用户至上的服务理念。 Letter blue ribbon was"S" deformation, meaning Service(service), contains the user-oriented service concept. H”也含有Humanbeing(人)之意,蕴涵 以人为本、各尽其能的人才理念;. H" also contains the human being(people) meaning, contains people-oriented, the best of their talent concept; 据专家估计,未来几年该市场仍将持续增长,蕴涵 巨大商机。 According to expert estimates, the next few years, this market will continue to grow, contains huge business opportunities. 蕴涵 的标准定义允许我们得出结论:“因为太阳是由气体构成的,所以3是素数”。The standard definition of implication allows us to conclude that: since the sun is made of gas, 3 is a prime number. 通过这个定义,我们现在可以形式化公式φ被特定公式集合S蕴涵 的意义。 With this definition we can now formalize what it means for a formula φ to be implied by a certain set S of formulas. 这种蕴涵 既是不可否认的又是可普遍传达的--如,在圣茹斯特(Saint-Just)的著作中。 This implication is both undeniable and universally transmissible- in the writings of Saint-Just, for instance. 拓扑空间被称为对称(或R0)的,如果特殊化预序是对称的(就是说x≤y蕴涵 y≤x)。 A topological space is said to be symmetric(or R0) if the specialization preorder is symmetric(i.e. x≤ y implies y≤ x). 报告阐述了这些问题蕴涵 的挑战,并举例说明了国家和国际层面的行动。 It elaborates on the challenges inherent in those issues and provides examples of actions at the national and international levels. 对于蕴涵 ,介入形式的局部化或约束,书写要使用λ;这对应于注入标签。 For implication , the introduction form localises or binds the hypothesis, written using a λ; this corresponds to the discharged label. 这可总结为下列蕴涵 :你可以找到反例证明这些蕴涵 都是不可反转的。 In summary we have the following implications : One can find counterexamples showing that none of these implications reverse. 蕴涵 的标准定义允许我们得出结论:“因为太阳是由气体构成的,所以3是素数”。By the standard definition of implication , we can conclude that: the sun's being made of gas implies that 3 is a prime number. 将这种新方法应用于新的任务和模型(如序列标记、自然语言生成、蕴涵 或问题回答)。 Applying this new method to novel tasks and models(e.g., sequence labeling, natural language generation, entailment or question answering). 预防冲突蕴涵 建立和加强机构,以保证各种社会力量在某一政体下和平共处。 Conflict prevention implies creating or reinforcing institutions that ensure the peaceful coexistence of all social forces within a given polity. 这一章以关系设计的概览开始,依赖于对函数依赖的逻辑蕴涵 的直观理解。 This chapter begins with an overview of relational design and relies on an intuitive understanding of logical implication of functional dependencies. 特别地,它提供了一个严格定义的蕴涵 概念,从而为在RDF数据中定义可靠的推理规则奠定了基础。 In particular, it supports rigorously defined notions of entailment which provide a basis for defining reliable rules of inference in RDF data. 最后两个公理只蕴涵 在第一个参数中的线性,但是第一个公理直接蕴涵了在第二个参数中的线性。 The last two axioms only imply linearity in the first argument, but the first axiom then immediately implies linearity in the second argument as well.
展示更多例子
结果: 28 ,
时间: 0.021
English
Bahasa indonesia
日本語
عربى
Български
বাংলা
Český
Dansk
Deutsch
Ελληνικά
Español
Suomi
Français
עִברִית
हिंदी
Hrvatski
Magyar
Italiano
Қазақ
한국어
മലയാളം
मराठी
Bahasa malay
Nederlands
Norsk
Polski
Português
Română
Русский
Slovenský
Slovenski
Српски
Svenska
தமிழ்
తెలుగు
ไทย
Tagalog
Turkce
Українська
اردو
Tiếng việt