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 The number 1 argument of disjoint relation is an instance of relation
(domain disjointRelation 2 Relation) Merge.kif 460-460 The number 2 argument of disjoint relation is an instance of relation
(instance disjointRelation BinaryPredicate) Merge.kif 456-456 disjoint relation is an instance of binary predicate
(instance disjointRelation IrreflexiveRelation) Merge.kif 457-457 disjoint relation is an instance of irreflexive relation
(instance disjointRelation PartialValuedRelation) Merge.kif 458-458 disjoint relation is an instance of partial valued relation
(relatedInternalConcept disjointRelation disjoint) Merge.kif 461-461 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 177-177
(termFormat ChineseLanguage disjointRelation "不相交关系") chinese_format.kif 290-290 "不相交关系" is the printable form of disjoint relation in ChineseLanguage
(termFormat EnglishLanguage disjointRelation "disjoint relation") domainEnglishFormat.kif 3731-3731 "disjoint relation" is the printable form of disjoint relation in english language

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 21933-21933 ancestor organization and sub organization are disjoint
(disjointRelation contains part) Merge.kif 1045-1045 contains and part are disjoint
(disjointRelation crosses connected) Merge.kif 4336-4336 crosses and connected are disjoint
(disjointRelation decreasesLikelihood independentProbability) Merge.kif 2773-2773 decreases likelihood and independent probability are disjoint
(disjointRelation deprivesNorm confersNorm) Merge.kif 4148-4148 deprives norm and confers norm are disjoint
(disjointRelation disapproves desires) Mid-level-ontology.kif 7142-7142 disapproves and desires are disjoint
(disjointRelation dislikes wants) Mid-level-ontology.kif 7126-7126 dislikes and wants are disjoint
(disjointRelation increasesLikelihood decreasesLikelihood) Merge.kif 2771-2771 increases likelihood and decreases likelihood are disjoint
(disjointRelation increasesLikelihood independentProbability) Merge.kif 2772-2772 increases likelihood and independent probability are disjoint
(disjointRelation manner attribute) Merge.kif 1788-1788 manner and attribute are disjoint
(disjointRelation meetsSpatially overlapsSpatially) Merge.kif 9588-9588 meets spatially and overlaps spatially are disjoint
(disjointRelation mutualStranger mutualAcquaintance) Mid-level-ontology.kif 21267-21267 mutual stranger and mutual acquaintance are disjoint
(disjointRelation referee plays) ComputingBrands.kif 1570-1570 referee and plays are disjoint
(disjointRelation resource instrument) Merge.kif 2674-2674 resource and instrument are disjoint
(disjointRelation resource result) Merge.kif 2673-2673 resource and result are disjoint
(disjointRelation result instrument) Merge.kif 2675-2675 result and instrument are disjoint
(disjointRelation spouse domesticPartner) Mid-level-ontology.kif 21282-21282 spouse and domestic partner are disjoint
(disjointRelation stays home) Merge.kif 14436-14436 stays and home are disjoint
(disjointRelation stranger acquaintance) Mid-level-ontology.kif 21252-21252 stranger and acquaintance are disjoint
(disjointRelation subAttribute successorAttribute) Merge.kif 717-717 sub attribute and successor attribute are disjoint
(disjointRelation subsumedExternalConcept subsumingExternalConcept) Merge.kif 678-678 subsumed external concept and subsuming external concept are disjoint
(disjointRelation synonymousExternalConcept subsumedExternalConcept) Merge.kif 676-676 synonymous external concept and subsumed external concept are disjoint
(disjointRelation synonymousExternalConcept subsumingExternalConcept) Merge.kif 677-677 synonymous external concept and subsuming external concept are 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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners