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) 的意思是指这两种关系没有共同的元组。") 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 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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners