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, 1 and Relation
(domain disjointRelation 2 Relation) Merge.kif 413-413 domain disjointRelation, 2 and Relation
(instance disjointRelation BinaryPredicate) Merge.kif 409-409 instance disjointRelation and BinaryPredicate
(instance disjointRelation IrreflexiveRelation) Merge.kif 410-410 instance disjointRelation and IrreflexiveRelation
(instance disjointRelation PartialValuedRelation) Merge.kif 411-411 instance disjointRelation and PartialValuedRelation
(relatedInternalConcept disjointRelation disjoint) Merge.kif 414-414 relatedInternalConcept disjointRelation and 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 297-297
(termFormat ChineseLanguage disjointRelation "不相交关系") chinese_format.kif 290-290
(termFormat ChineseLanguage disjointRelation "不相交的关系") domainEnglishFormat.kif 19792-19792
(termFormat ChineseTraditionalLanguage disjointRelation "不相交的關係") domainEnglishFormat.kif 19791-19791
(termFormat EnglishLanguage disjointRelation "disjoint relation") domainEnglishFormat.kif 19790-19790

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 21977-21977 disjointRelation ancestorOrganization and subOrganization
(disjointRelation contains part) Merge.kif 946-946 disjointRelation contains and part
(disjointRelation crosses connected) Merge.kif 4053-4053 disjointRelation crosses and connected
(disjointRelation decreasesLikelihood independentProbability) Merge.kif 2506-2506 disjointRelation decreasesLikelihood and independentProbability
(disjointRelation deprivesNorm confersNorm) Merge.kif 3875-3875 disjointRelation deprivesNorm and confersNorm
(disjointRelation disapproves desires) Mid-level-ontology.kif 7124-7124 disjointRelation disapproves and desires
(disjointRelation dislikes wants) Mid-level-ontology.kif 7108-7108 disjointRelation dislikes and wants
(disjointRelation increasesLikelihood decreasesLikelihood) Merge.kif 2504-2504 disjointRelation increasesLikelihood and decreasesLikelihood
(disjointRelation increasesLikelihood independentProbability) Merge.kif 2505-2505 disjointRelation increasesLikelihood and independentProbability
(disjointRelation manner attribute) Merge.kif 1643-1643 disjointRelation manner and attribute
(disjointRelation meetsSpatially overlapsSpatially) Merge.kif 9015-9015 disjointRelation meetsSpatially and overlapsSpatially
(disjointRelation mutualStranger mutualAcquaintance) Mid-level-ontology.kif 21311-21311 disjointRelation mutualStranger and mutualAcquaintance
(disjointRelation referee plays) ComputingBrands.kif 1654-1654 disjointRelation referee and プレー
(disjointRelation resource instrument) Merge.kif 2420-2420 disjointRelation resource and instrument
(disjointRelation resource result) Merge.kif 2419-2419 disjointRelation resource and result
(disjointRelation result instrument) Merge.kif 2421-2421 disjointRelation result and instrument
(disjointRelation spouse domesticPartner) Mid-level-ontology.kif 21326-21326 disjointRelation spouse and domesticPartner
(disjointRelation stays home) Merge.kif 13378-13378 disjointRelation stays and home
(disjointRelation stranger acquaintance) Mid-level-ontology.kif 21296-21296 disjointRelation stranger and acquaintance
(disjointRelation subAttribute successorAttribute) Merge.kif 656-656 disjointRelation subAttribute and successorAttribute
(disjointRelation subsumedExternalConcept subsumingExternalConcept) Merge.kif 622-622 disjointRelation subsumedExternalConcept and subsumingExternalConcept
(disjointRelation synonymousExternalConcept subsumedExternalConcept) Merge.kif 620-620 disjointRelation synonymousExternalConcept and subsumedExternalConcept
(disjointRelation synonymousExternalConcept subsumingExternalConcept) Merge.kif 621-621 disjointRelation synonymousExternalConcept and subsumingExternalConcept


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