查询词典 transitive law

There are two parts in this paper:In the first part, the s -arc transitive problem of odd graph K_(2r+1,r) is investigated.

Godsil等证明了每一个奇图K_(2r+1，r)至少是2-弧传递图，那么自然提出问题： K_(2r+1 ，r)是s-弧传递的s的最大值是多少？

The first is that the premise cannot be formula of eternal falsehood, the second is that there must be transitive relation of truthvalue between the premises and conclusion.

这就要求，前提形式不能为永假式，而且结论与前提必须有真值的传递关系，这是推理得以成立的两个基本前提。

The affiliation relation is transitive: if A and B are affiliated and B and C are affiliated then we take A and C to be affiliated even if there is no direct evidence of the fact.

从属关系是具有传递性的：如果A和B有从属关系并且B和C也有从属关系，那么即使A和C没有明显的直接联系，我们也会认为它们有从属关系。

Belongs to transitive relation. The last one is the Role-Based Access Control with Separation of Duty concept.

3角色型存取控制，我们加上角色责任分离机制，以验证任一使用者不得获得两个以上有冲突的角色。

Hierarchy structure graph of risk factors can clearly divide the risk factors into different hierarchies and definitely explain the transitive relation among risk factors.

风险因素的阶层结构图可以清晰的将风险因素划分为不同阶层，明确表达风险因素之间的传递关系。

In this text verb in " XUNZI " was divided into 3 main kinds verb, including intransitive verb, transitive verb and relation verb.

首先，在理论方法上，本文不直接采取以往的句法功能标准，而力求符合于古汉语语言实际的研究方法。

Through further analysis of the hierarchical directed graph of risk system, we divide it into source risk, process risk and final risk, make clear the transitive relation among risk factors and determinate the key controllable risk of generation enterprise.

针对风险系统的递阶有向图作进一步分析，划分出发点企业的源头风险、过程风险及最终风险，明确风险元素之间的传递关系，从中确定发电企业的关键性可控风险。

If X is a subclass of Y, then every instance of X is also an instance of Y. The rdfs:subClassOf relation is transitive. If X is a subclass of Y and Y a subclass of Z then X is a subclass of Z.

如果X是Y的一个子类，那么X的每个实例同时也都是Y的实例。rdfs：subClassOf关系是可传递的，即如果X是Y的一个子类，而Y又是Z的一个子类，那么X就是Z的一个子类。

If X is a subclass of Y, then every instance of X is also an instance of Y. The rdfs:subClassOf relation is transitive. If X is a subclass of Y and Y a subclass of Z then X isa subclass of Z.

如果X是Y的一个子类，那么X的每个实例同时也都是Y的实例。rdfs：subClassOf关系是可传递的，即如果X是Y的一个子类，而Y又是Z的一个子类，那么X就是Z的一个子类。

Inferential theory of logic ; premise ; form ; transitive relation of truth-value ; basic rule

逻辑学推理论；"前提真实"；"形式有效"；真值传递关系；基本规则

Finally, the Knight strung a line between two of the monoliths and tied the horses up there.

最后，骑士们在两颗巨石之间拉了一条绳子，将他们的座骑绑在上面。

T7zN/hyS0 The island lies south by east from here.

那个岛位于此地的正南偏东方向。