包含关系

Entailment is the including relation among sentences, and it has close relation with hyponymy and Horn scales and it has grades.

蕴涵是句子语义间的包含关系，所以它与上下义词和荷恩等级有密切关系，并且一个句子的蕴涵呈现出强弱等级关系，强的蕴涵弱的。

The main results are as follows: the relations between local fractional integrated semigroups and the corresponding Cauchy problem, global fractional integrated semigroups and regularized semigroups are given; introduction of the notion of regularized resolvent families, and the generation theorem and analyticity criterions for regularized resolvent families are obtained; the spectral inclusions between fractional resolvent family and its generator, and the approximation for fractional resolvent families in the cases of generators approximation and fractional orders approximation; elliptic operators with variable coefficients generating fractional resolvent family on L^2 by using numerical range techniques; and the L^p theory for elliptic operators with real coefficients highest order are obtained by Sobolev''s inequalities and the a priori estimates for elliptic operators; and a kind of coercive differential operators generates fractional regularized resolvent family by applying the Fourier multiplier method, functional calculus and some basic properties of Mittag-Leffler functions.

主要结论是：给出了局部分数次积分半群和相应的Cauchy问题的关系以及分数次积分半群和正则半群的关系；引入了正则预解族的概念，并给出了其生成定理和解析生成法则；给出了分数次预解族与其生成元的谱包含关系，并研究了在生成元逼近和分数阶逼近两种情况下相应的预解族的逼近问题；利用数值域方法证明了具变系数的椭圆算子在L^2上生成分数次预解族；利用Sobolev不等式和椭圆算子的先验估计证明了具变系数的椭圆算子在其最高项系数为实数时在L^p上生成分数次预解族；运用Fourier乘子理论、泛函演算和Mittag-Leffler函数证明了一类强制微分算子可以生成分数次正则预解族，并给出了该预解族的范数估计。

That results in a new class of answer set semantics for ordered logic program including several kinds of already existed semantics. The diverse answer set semantics are compared in detail and a Hasse diagram with respect to set inclusive relations for the semantics is given.

通过证明和举例详细比较了各种回答集语义之间的强弱关系，给出了它们在集合包含关系意义下的哈斯图，证明了各种回答集语义在包含关系下形成格的结构。

For the problem of data s mismanagement, separated usage of study tools and hard for awareness processing widely existing in the traditional collaborative learning system, the nested knowledge space model is presented in this paper, which includes the concepts of knowledge domain, inclusion relation, correlation relation, quasi-order relation and parallel relation among the knowledge domain,and knowledge space etc.

针对传统协同学习系统中普遍存在着学习材料组织混乱、学习工具隔离使用和感知处理困难等问题，本文提出了嵌套式知识空间模型，该模型包含知识域、知识域之间的包含关系、相关关系、拟序关系和并行关系以及知识空间等概念。

Its subordinate relations,include relations,the order of starlikeness and the order of strongly starlikeness as wellas the integral represation theorem, etc.

引入了强星像函数类的一个子类S（α，β，ρ，σ，A，B），讨论了它的从属关系、包含关系、星像阶数和强星像阶数以及积分表示定理等，所得结果推广了一些作者的相关工作。

A contour tree has found many important applications in map generalization,terrain analysis,etc.with respect to generating contour tree,this paper has proposed a scan-line based method,this method translates intersection point pair of scan-line and contour line as range,explains containment relation between range as containment relation between contour lines,determines "one-many" direct containment relations between parent contour and child contour by this method.

中国科学院计算所，北京 100080摘要等高线树在地图的产生、地形分析等应用中具有较重要的应用。对于产生等高线树，提出了一种基于扫描线的方法，该方法把扫描线和等高线之间的交点对解释为区域，利用区域之间的包含关系对应等高线之间的包含关系，以这种方式来确定父等高线与子等高线之间的"一对多"直接包含关系。

The algorithm uses PLI algorithm in the data sets with GML document format to determine the region spatial inclusion relationship and regards the objects contained in a region as attributes of the region.

它采用算法PLI判断面包含关系，并把面包含的对象看作面对象的属性，建立面对象的密度连通集合，相应于"噪音"的面就是离群面。

And in the right of our comprehension, these problems can be explained successfully, as a result to be all right on every relation, also more to be in accord with the original intention of dinnāga's Trairūpya.

关于名言外延之间的关系，因明用所遍关系、相属关系、别异关系、相违关系分别表述了形式逻辑的全同关系、包含关系、交叉关系和全异关系，分析的内容和深度并无二致。

This chapter clarifies the nested relationship between the matrix family of unitary, orthogonal, Givens, Householder, permutation, and row or column symmetric matrices. A precise correspondence of the singular values and singular vectors between the unitary-symmetric matrix and its mother matrix is derived and proved (hence a fast algorithm of singular value decomposition for unitary-symmetric matrix is straightforwardly obtained), and the corresponding perturbation bound is provided.

该章揭示了酉对称矩阵、正交对称矩阵、 Givens 对称矩阵、 Householder 对称矩阵、置换对称矩阵和行对称矩阵之间的逐级包含关系；推导并证明了，酉对称矩阵的奇异值和奇异向量与母矩阵的奇异值和奇异向量之间的定量关系，据此可得酉对称矩阵奇异值分解的快速算法；给出并证明了摄动矩阵的摄动界。

Research found, generally speaking, students' concept image is not fully covered about quadrilaterals. That is to say, some graph is excluded wrongly. For example:students took oblique square is rhombi, not square. This phenomenon probably caused by they see the typical shape all the time, which will impact the development of the higher level reasoning. Say, students might not be able to understand the inclusion relationship between square and rhombi.

研究发现，学生在四边形几何图形的概念心像上普遍有包含性不足的情况，也就是有些图例被错误地排除（如：以为斜摆的正方形是菱形，但不是正方形），此一现象应与学生接触的通常是典型图例所致，且会影响更高层次的几何推理之发展，例如无法理解正方形与菱形的包含关系。

It is also known as one of the most poisonous naturally occurring substances.

它也被称为一个最自然发生的有毒物质。

The greatest stress is found at the location on the cross section where V is the largest.

最大应力出现在横截面上V为最大的地方。