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
(termFormat ChineseLanguage disjointRelation "不相交关系") chinese_format.kif 290-290
(termFormat EnglishLanguage disjointRelation "disjoint relation") domainEnglishFormat.kif 3731-3731

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
(disjointRelation contains part) Merge.kif 1045-1045
(disjointRelation crosses connected) Merge.kif 4336-4336
(disjointRelation decreasesLikelihood independentProbability) Merge.kif 2773-2773
(disjointRelation deprivesNorm confersNorm) Merge.kif 4148-4148
(disjointRelation disapproves desires) Mid-level-ontology.kif 7142-7142
(disjointRelation dislikes wants) Mid-level-ontology.kif 7126-7126
(disjointRelation increasesLikelihood decreasesLikelihood) Merge.kif 2771-2771
(disjointRelation increasesLikelihood independentProbability) Merge.kif 2772-2772
(disjointRelation manner attribute) Merge.kif 1788-1788
(disjointRelation meetsSpatially overlapsSpatially) Merge.kif 9588-9588
(disjointRelation mutualStranger mutualAcquaintance) Mid-level-ontology.kif 21267-21267
(disjointRelation referee plays) ComputingBrands.kif 1570-1570
(disjointRelation resource instrument) Merge.kif 2674-2674
(disjointRelation resource result) Merge.kif 2673-2673
(disjointRelation result instrument) Merge.kif 2675-2675
(disjointRelation spouse domesticPartner) Mid-level-ontology.kif 21282-21282
(disjointRelation stays home) Merge.kif 14436-14436
(disjointRelation stranger acquaintance) Mid-level-ontology.kif 21252-21252
(disjointRelation subAttribute successorAttribute) Merge.kif 717-717
(disjointRelation subsumedExternalConcept subsumingExternalConcept) Merge.kif 678-678
(disjointRelation synonymousExternalConcept subsumedExternalConcept) Merge.kif 676-676
(disjointRelation synonymousExternalConcept subsumingExternalConcept) Merge.kif 677-677


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