Browsing Interface : Welcome guest : log in		 [  Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - disjointRelation
disjointRelation

appearance as argument number 1
-------------------------


(documentation disjointRelation ChineseLanguage "这个术语把两种 Relation 连接。 (disjointRelation ?REL1 ?REL2) 的意思是指这两种关系没有共同的元组。") chinese_format.kif 1502-1503
(documentation disjointRelation EnglishLanguage "This predicate relates two Relations. (disjointRelation ?REL1 ?REL2) means that the two relations have no tuples in common.") Merge.kif 413-415
(domain disjointRelation 1 Relation) Merge.kif 410-410 不相交关系 的 1 数量 是 关系 的 instance
(domain disjointRelation 2 Relation) Merge.kif 411-411 不相交关系 的 2 数量 是 关系 的 instance
(instance disjointRelation BinaryPredicate) Merge.kif 407-407 不相交关系 是 二元谓语 的 instance
(instance disjointRelation IrreflexiveRelation) Merge.kif 408-408 不相交关系 是 非自反关系 的 instance
(instance disjointRelation PartialValuedRelation) Merge.kif 409-409 不相交关系 是 部分值关系 的 instance
(relatedInternalConcept disjointRelation disjoint) Merge.kif 412-412 不相交关系 和 不相交 是 内部相关

appearance as argument number 2
-------------------------


(format ChineseLanguage disjointRelation "%1 和 %2 %n 是 disjoint 关系") chinese_format.kif 289-289
(format EnglishLanguage disjointRelation "%1 and %2 are %n disjoint") english_format.kif 294-294
(termFormat ChineseLanguage disjointRelation "不相交关系") chinese_format.kif 290-290
(termFormat ChineseLanguage disjointRelation "不相交的关系") domainEnglishFormat.kif 19851-19851
(termFormat ChineseTraditionalLanguage disjointRelation "不相交的關係") domainEnglishFormat.kif 19850-19850
(termFormat EnglishLanguage disjointRelation "disjoint relation") domainEnglishFormat.kif 19849-19849

antecedent
-------------------------


(=>
    (and
        (instance ?REL1 Predicate)
        (instance ?REL2 Predicate)
        (disjointRelation ?REL1 ?REL2)
        (?REL1 @ROW2))
    (not
        (?REL2 @ROW2)))		 Merge.kif 445-451

consequent
-------------------------


(=>
    (and
        (domain ?REL1 ?NUMBER ?CLASS1)
        (domain ?REL2 ?NUMBER ?CLASS2)
        (disjoint ?CLASS1 ?CLASS2))
    (disjointRelation ?REL1 ?REL2))		 Merge.kif 417-422
(=>
    (and
        (domainSubclass ?REL1 ?NUMBER ?CLASS1)
        (domainSubclass ?REL2 ?NUMBER ?CLASS2)
        (disjoint ?CLASS1 ?CLASS2))
    (disjointRelation ?REL1 ?REL2))		 Merge.kif 424-429
(=>
    (and
        (range ?REL1 ?CLASS1)
        (range ?REL2 ?CLASS2)
        (disjoint ?CLASS1 ?CLASS2))
    (disjointRelation ?REL1 ?REL2))		 Merge.kif 431-436
(=>
    (and
        (rangeSubclass ?REL1 ?CLASS1)
        (rangeSubclass ?REL2 ?CLASS2)
        (disjoint ?CLASS1 ?CLASS2))
    (disjointRelation ?REL1 ?REL2))		 Merge.kif 438-443

appearance as argument number 0
-------------------------


(disjointRelation ancestorOrganization subOrganization) Mid-level-ontology.kif 23605-23605 祖先组织 和 子机构 是 disjoint 关系
(disjointRelation contains part) Merge.kif 970-970 容纳 和 部分 是 disjoint 关系
(disjointRelation crosses connected) Merge.kif 4110-4110 横过 和 相连 是 disjoint 关系
(disjointRelation decreasesLikelihood independentProbability) Merge.kif 2540-2540 降低可能性 和 独立发生机率 是 disjoint 关系
(disjointRelation deprivesNorm confersNorm) Merge.kif 3932-3932 剥夺了规范 和 赋予规范 是 disjoint 关系
(disjointRelation disapproves desires) Mid-level-ontology.kif 7115-7115 不赞成 和 渴望 是 disjoint 关系
(disjointRelation dislikes wants) Mid-level-ontology.kif 7099-7099 不喜欢 和 想要 是 disjoint 关系
(disjointRelation increasesLikelihood decreasesLikelihood) Merge.kif 2538-2538 提高可能性 和 降低可能性 是 disjoint 关系
(disjointRelation increasesLikelihood independentProbability) Merge.kif 2539-2539 提高可能性 和 独立发生机率 是 disjoint 关系
(disjointRelation manner attribute) Merge.kif 1674-1674 形式 和 属于 是 disjoint 关系
(disjointRelation meetsSpatially overlapsSpatially) Merge.kif 9467-9467 接触 和 重叠 是 disjoint 关系
(disjointRelation mutualStranger mutualAcquaintance) Mid-level-ontology.kif 22801-22801 相互陌生的人 和 相识熟人 是 disjoint 关系
(disjointRelation referee plays) ComputingBrands.kif 1647-1647 referee 和 扮演 是 disjoint 关系
(disjointRelation resource instrument) Merge.kif 2454-2454 资源 和 工具 是 disjoint 关系
(disjointRelation resource result) Merge.kif 2453-2453 资源 和 结果 是 disjoint 关系
(disjointRelation result instrument) Merge.kif 2455-2455 结果 和 工具 是 disjoint 关系
(disjointRelation spouse domesticPartner) Mid-level-ontology.kif 22816-22816 伴侣 和 国内的合作伙伴 是 disjoint 关系
(disjointRelation stays home) Merge.kif 14126-14126 停留 和 家 是 disjoint 关系
(disjointRelation stranger acquaintance) Mid-level-ontology.kif 22786-22786 陌生人 和 熟人 是 disjoint 关系
(disjointRelation subAttribute successorAttribute) Merge.kif 673-673 子属性 和 后续属性 是 disjoint 关系
(disjointRelation subsumedExternalConcept subsumingExternalConcept) Merge.kif 639-639 纳入外部的概念 和 包含外部的概念 是 disjoint 关系
(disjointRelation synonymousExternalConcept subsumedExternalConcept) Merge.kif 637-637 和外部意义相同的概念 和 纳入外部的概念 是 disjoint 关系
(disjointRelation synonymousExternalConcept subsumingExternalConcept) Merge.kif 638-638 和外部意义相同的概念 和 包含外部的概念 是 disjoint 关系


Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)



Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0 is open source software produced by Articulate Software and its partners