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) 的意思是指这两种关系没有共同的元组。") 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 415-417
(domain disjointRelation 1 Relation) Merge.kif 412-412
(domain disjointRelation 2 Relation) Merge.kif 413-413
(instance disjointRelation BinaryPredicate) Merge.kif 409-409
(instance disjointRelation IrreflexiveRelation) Merge.kif 410-410
(instance disjointRelation PartialValuedRelation) Merge.kif 411-411
(relatedInternalConcept disjointRelation disjoint) Merge.kif 414-414

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 294-294
(termFormat ChineseLanguage disjointRelation "不相交关系") chinese_format.kif 290-290
(termFormat ChineseLanguage disjointRelation "不相交的关系") domainEnglishFormat.kif 19851-19851
(termFormat ChineseTraditionalLanguage disjointRelation "不相交的關係") domainEnglishFormat.kif 19850-19850
(termFormat EnglishLanguage disjointRelation "disjoint relation") domainEnglishFormat.kif 19849-19849

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


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

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


(=>
    (and
        (domain ?REL1 ?NUMBER ?CLASS1)
        (domain ?REL2 ?NUMBER ?CLASS2)
        (disjoint ?CLASS1 ?CLASS2))
    (disjointRelation ?REL1 ?REL2))
Merge.kif 419-424
(=>
    (and
        (domainSubclass ?REL1 ?NUMBER ?CLASS1)
        (domainSubclass ?REL2 ?NUMBER ?CLASS2)
        (disjoint ?CLASS1 ?CLASS2))
    (disjointRelation ?REL1 ?REL2))
Merge.kif 426-431
(=>
    (and
        (range ?REL1 ?CLASS1)
        (range ?REL2 ?CLASS2)
        (disjoint ?CLASS1 ?CLASS2))
    (disjointRelation ?REL1 ?REL2))
Merge.kif 433-438
(=>
    (and
        (rangeSubclass ?REL1 ?CLASS1)
        (rangeSubclass ?REL2 ?CLASS2)
        (disjoint ?CLASS1 ?CLASS2))
    (disjointRelation ?REL1 ?REL2))
Merge.kif 440-445

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


(disjointRelation ancestorOrganization subOrganization) Mid-level-ontology.kif 23694-23694
(disjointRelation contains part) Merge.kif 978-978
(disjointRelation crosses connected) Merge.kif 4118-4118
(disjointRelation decreasesLikelihood independentProbability) Merge.kif 2548-2548
(disjointRelation deprivesNorm confersNorm) Merge.kif 3940-3940
(disjointRelation disapproves desires) Mid-level-ontology.kif 7154-7154
(disjointRelation dislikes wants) Mid-level-ontology.kif 7138-7138
(disjointRelation increasesLikelihood decreasesLikelihood) Merge.kif 2546-2546
(disjointRelation increasesLikelihood independentProbability) Merge.kif 2547-2547
(disjointRelation manner attribute) Merge.kif 1682-1682
(disjointRelation meetsSpatially overlapsSpatially) Merge.kif 9478-9478
(disjointRelation mutualStranger mutualAcquaintance) Mid-level-ontology.kif 22890-22890
(disjointRelation referee plays) ComputingBrands.kif 1647-1647
(disjointRelation resource instrument) Merge.kif 2462-2462
(disjointRelation resource result) Merge.kif 2461-2461
(disjointRelation result instrument) Merge.kif 2463-2463
(disjointRelation spouse domesticPartner) Mid-level-ontology.kif 22905-22905
(disjointRelation stays home) Merge.kif 14148-14148
(disjointRelation stranger acquaintance) Mid-level-ontology.kif 22875-22875
(disjointRelation subAttribute successorAttribute) Merge.kif 675-675
(disjointRelation subsumedExternalConcept subsumingExternalConcept) Merge.kif 641-641
(disjointRelation synonymousExternalConcept subsumedExternalConcept) Merge.kif 639-639
(disjointRelation synonymousExternalConcept subsumingExternalConcept) Merge.kif 640-640


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 3.0 is open source software produced by Articulate Software and its partners