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) 的意思是指这两种关系没有共同的元组。") Merge.kif 465-466
(documentation disjointRelation EnglishLanguage "This predicate relates two Relations. (disjointRelation ?REL1 ?REL2) means that the two relations have no tuples in common.") Merge.kif 462-464
(domain disjointRelation 1 Relation) Merge.kif 459-459
(domain disjointRelation 2 Relation) Merge.kif 460-460
(instance disjointRelation BinaryPredicate) Merge.kif 456-456
(instance disjointRelation IrreflexiveRelation) Merge.kif 457-457
(instance disjointRelation PartialValuedRelation) Merge.kif 458-458
(relatedInternalConcept disjointRelation disjoint) Merge.kif 461-461

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 177-177
(format FrenchLanguage disjointRelation "%1 et %2 sont %n disjoint") french_format.kif 167-167
(format ItalianLanguage disjointRelation "%1 e %2 sono %n disgiunti") relations-it.txt 77-77
(format PortugueseLanguage disjointRelation "%1 e %2 sao %n disjuntos") portuguese_format.kif 119-119
(format ar disjointRelation "%1 و %2 هما %n مُنْفَصِلان") arabic_format.kif 112-112
(format cb disjointRelation "%1 at %2 %n ay lahi") relations-cb.txt 111-111
(format cz disjointRelation "%1 and %2 are %n disjoint") relations-cz.txt 183-183
(format de disjointRelation "%1 und %2 werden %n{nicht} disjunkt") relations-de.txt 376-376
(format hi disjointRelation "%1 aura %2 asanyukta %n hain") relations-hindi.txt 117-117
(format tg disjointRelation "%1 at %2 %n ay iba") relations-tg.txt 170-170
(termFormat ChineseLanguage disjointRelation "不相交关系") chinese_format.kif 290-290
(termFormat EnglishLanguage disjointRelation "disjoint relation") domainEnglishFormat.kif 3731-3731
(termFormat ar disjointRelation "«هما مُنْفَصِلان»") arabic_format.kif 562-562

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


(=>
    (and
        (instance ?REL1 Predicate)
        (instance ?REL2 Predicate)
        (disjointRelation ?REL1 ?REL2)
        (not
            (equal ?REL1 ?REL2))
        (?REL1 @ROW2))
    (not
        (?REL2 @ROW2)))		 Merge.kif 496-503

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


(=>
    (and
        (domain ?REL1 ?NUMBER ?CLASS1)
        (domain ?REL2 ?NUMBER ?CLASS2)
        (disjoint ?CLASS1 ?CLASS2))
    (disjointRelation ?REL1 ?REL2))		 Merge.kif 468-473
(=>
    (and
        (domainSubclass ?REL1 ?NUMBER ?CLASS1)
        (domainSubclass ?REL2 ?NUMBER ?CLASS2)
        (disjoint ?CLASS1 ?CLASS2))
    (disjointRelation ?REL1 ?REL2))		 Merge.kif 475-480
(=>
    (and
        (range ?REL1 ?CLASS1)
        (range ?REL2 ?CLASS2)
        (disjoint ?CLASS1 ?CLASS2))
    (disjointRelation ?REL1 ?REL2))		 Merge.kif 482-487
(=>
    (and
        (rangeSubclass ?REL1 ?CLASS1)
        (rangeSubclass ?REL2 ?CLASS2)
        (disjoint ?CLASS1 ?CLASS2))
    (disjointRelation ?REL1 ?REL2))		 Merge.kif 489-494

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


(disjointRelation ancestorOrganization subOrganization) Mid-level-ontology.kif 21902-21902
(disjointRelation contains part) Merge.kif 1033-1033
(disjointRelation crosses connected) Merge.kif 4323-4323
(disjointRelation decreasesLikelihood independentProbability) Merge.kif 2760-2760
(disjointRelation deprivesNorm confersNorm) Merge.kif 4135-4135
(disjointRelation disapproves desires) Mid-level-ontology.kif 7142-7142
(disjointRelation dislikes wants) Mid-level-ontology.kif 7126-7126
(disjointRelation increasesLikelihood decreasesLikelihood) Merge.kif 2758-2758
(disjointRelation increasesLikelihood independentProbability) Merge.kif 2759-2759
(disjointRelation manner attribute) Merge.kif 1775-1775
(disjointRelation meetsSpatially overlapsSpatially) Merge.kif 9533-9533
(disjointRelation mutualStranger mutualAcquaintance) Mid-level-ontology.kif 21236-21236
(disjointRelation resource instrument) Merge.kif 2661-2661
(disjointRelation resource result) Merge.kif 2660-2660
(disjointRelation result instrument) Merge.kif 2662-2662
(disjointRelation spouse domesticPartner) Mid-level-ontology.kif 21251-21251
(disjointRelation stays home) Merge.kif 14378-14378
(disjointRelation stranger acquaintance) Mid-level-ontology.kif 21221-21221
(disjointRelation subAttribute successorAttribute) Merge.kif 705-705
(disjointRelation subsumedExternalConcept subsumingExternalConcept) Merge.kif 666-666
(disjointRelation synonymousExternalConcept subsumedExternalConcept) Merge.kif 664-664
(disjointRelation synonymousExternalConcept subsumingExternalConcept) Merge.kif 665-665


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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners