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

Formal Language: 



KB Term:  Term intersection
English Word: 

  disjointRelation

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 414-416
(domain disjointRelation 1 Relation) Merge.kif 411-411 The number 1 argument of disjoint relation is an instance of relation
(domain disjointRelation 2 Relation) Merge.kif 412-412 The number 2 argument of disjoint relation is an instance of relation
(instance disjointRelation BinaryPredicate) Merge.kif 408-408 disjoint relation is an instance of binary predicate
(instance disjointRelation IrreflexiveRelation) Merge.kif 409-409 disjoint relation is an instance of irreflexive relation
(instance disjointRelation PartialValuedRelation) Merge.kif 410-410 disjoint relation is an instance of partial valued relation
(relatedInternalConcept disjointRelation disjoint) Merge.kif 413-413 disjoint relation is internally related to disjoint

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 297-297
(termFormat ChineseLanguage disjointRelation "不相交关系") chinese_format.kif 290-290
(termFormat ChineseLanguage disjointRelation "不相交的关系") domainEnglishFormat.kif 19783-19783
(termFormat ChineseTraditionalLanguage disjointRelation "不相交的關係") domainEnglishFormat.kif 19782-19782
(termFormat EnglishLanguage disjointRelation "disjoint relation") domainEnglishFormat.kif 19781-19781

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


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

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


(=>
    (and
        (domain ?REL1 ?NUMBER ?CLASS1)
        (domain ?REL2 ?NUMBER ?CLASS2)
        (disjoint ?CLASS1 ?CLASS2))
    (disjointRelation ?REL1 ?REL2))
Merge.kif 418-423
(=>
    (and
        (domainSubclass ?REL1 ?NUMBER ?CLASS1)
        (domainSubclass ?REL2 ?NUMBER ?CLASS2)
        (disjoint ?CLASS1 ?CLASS2))
    (disjointRelation ?REL1 ?REL2))
Merge.kif 425-430
(=>
    (and
        (range ?REL1 ?CLASS1)
        (range ?REL2 ?CLASS2)
        (disjoint ?CLASS1 ?CLASS2))
    (disjointRelation ?REL1 ?REL2))
Merge.kif 432-437
(=>
    (and
        (rangeSubclass ?REL1 ?CLASS1)
        (rangeSubclass ?REL2 ?CLASS2)
        (disjoint ?CLASS1 ?CLASS2))
    (disjointRelation ?REL1 ?REL2))
Merge.kif 439-444

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


(disjointRelation ancestorOrganization subOrganization) Mid-level-ontology.kif 21971-21971 ancestor organization and sub organization are disjoint
(disjointRelation contains part) Merge.kif 943-943 contains and part are disjoint
(disjointRelation crosses connected) Merge.kif 4048-4048 crosses and connected are disjoint
(disjointRelation decreasesLikelihood independentProbability) Merge.kif 2501-2501 decreases likelihood and independent probability are disjoint
(disjointRelation deprivesNorm confersNorm) Merge.kif 3870-3870 deprives norm and confers norm are disjoint
(disjointRelation disapproves desires) Mid-level-ontology.kif 7123-7123 disapproves and desires are disjoint
(disjointRelation dislikes wants) Mid-level-ontology.kif 7107-7107 dislikes and wants are disjoint
(disjointRelation increasesLikelihood decreasesLikelihood) Merge.kif 2499-2499 increases likelihood and decreases likelihood are disjoint
(disjointRelation increasesLikelihood independentProbability) Merge.kif 2500-2500 increases likelihood and independent probability are disjoint
(disjointRelation manner attribute) Merge.kif 1638-1638 manner and attribute are disjoint
(disjointRelation meetsSpatially overlapsSpatially) Merge.kif 8998-8998 meets spatially and overlaps spatially are disjoint
(disjointRelation mutualStranger mutualAcquaintance) Mid-level-ontology.kif 21305-21305 mutual stranger and mutual acquaintance are disjoint
(disjointRelation referee plays) ComputingBrands.kif 1654-1654 referee and plays are disjoint
(disjointRelation resource instrument) Merge.kif 2415-2415 resource and instrument are disjoint
(disjointRelation resource result) Merge.kif 2414-2414 resource and result are disjoint
(disjointRelation result instrument) Merge.kif 2416-2416 result and instrument are disjoint
(disjointRelation spouse domesticPartner) Mid-level-ontology.kif 21320-21320 spouse and domestic partner are disjoint
(disjointRelation stays home) Merge.kif 13358-13358 stays and home are disjoint
(disjointRelation stranger acquaintance) Mid-level-ontology.kif 21290-21290 stranger and acquaintance are disjoint
(disjointRelation subAttribute successorAttribute) Merge.kif 655-655 sub attribute and successor attribute are disjoint
(disjointRelation subsumedExternalConcept subsumingExternalConcept) Merge.kif 621-621 subsumed external concept and subsuming external concept are disjoint
(disjointRelation synonymousExternalConcept subsumedExternalConcept) Merge.kif 619-619 synonymous external concept and subsumed external concept are disjoint
(disjointRelation synonymousExternalConcept subsumingExternalConcept) Merge.kif 620-620 synonymous external concept and subsuming external concept are disjoint


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

Show without tree


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