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 414-416
(domain disjointRelation 1 Relation) Merge.kif 411-411 domain disjointRelation, 1 and Relation
(domain disjointRelation 2 Relation) Merge.kif 412-412 domain disjointRelation, 2 and Relation
(instance disjointRelation BinaryPredicate) Merge.kif 408-408 instance disjointRelation and BinaryPredicate
(instance disjointRelation IrreflexiveRelation) Merge.kif 409-409 instance disjointRelation and IrreflexiveRelation
(instance disjointRelation PartialValuedRelation) Merge.kif 410-410 instance disjointRelation and PartialValuedRelation
(relatedInternalConcept disjointRelation disjoint) Merge.kif 413-413 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 and "不相交关系"
(termFormat ChineseLanguage disjointRelation "不相交的关系") domainEnglishFormat.kif 19789-19789 termFormat ChineseLanguage, disjointRelation and "不相交的关系"
(termFormat ChineseTraditionalLanguage disjointRelation "不相交的關係") domainEnglishFormat.kif 19788-19788 termFormat ChineseTraditionalLanguage, disjointRelation and "不相交的關係"
(termFormat EnglishLanguage disjointRelation "disjoint relation") domainEnglishFormat.kif 19787-19787 termFormat EnglishLanguage, disjointRelation and "disjoint relation"

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


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

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


(=>
    (and
        (domain ?REL1 ?NUMBER ?CLASS1)
        (domain ?REL2 ?NUMBER ?CLASS2)
        (disjoint ?CLASS1 ?CLASS2))
    (disjointRelation ?REL1 ?REL2))
Merge.kif 418-423
(=>
    (and
        (domainSubclass ?REL1 ?NUMBER ?CLASS1)
        (domainSubclass ?REL2 ?NUMBER ?CLASS2)
        (disjoint ?CLASS1 ?CLASS2))
    (disjointRelation ?REL1 ?REL2))
Merge.kif 425-430
(=>
    (and
        (range ?REL1 ?CLASS1)
        (range ?REL2 ?CLASS2)
        (disjoint ?CLASS1 ?CLASS2))
    (disjointRelation ?REL1 ?REL2))
Merge.kif 432-437
(=>
    (and
        (rangeSubclass ?REL1 ?CLASS1)
        (rangeSubclass ?REL2 ?CLASS2)
        (disjoint ?CLASS1 ?CLASS2))
    (disjointRelation ?REL1 ?REL2))
Merge.kif 439-444

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


(disjointRelation ancestorOrganization subOrganization) Mid-level-ontology.kif 21934-21934 disjointRelation ancestorOrganization and subOrganization
(disjointRelation contains part) Merge.kif 948-948 disjointRelation contains and part
(disjointRelation crosses connected) Merge.kif 3927-3927 disjointRelation crosses and connected
(disjointRelation decreasesLikelihood independentProbability) Merge.kif 2501-2501 disjointRelation decreasesLikelihood and independentProbability
(disjointRelation deprivesNorm confersNorm) Merge.kif 3749-3749 disjointRelation deprivesNorm and confersNorm
(disjointRelation disapproves desires) Mid-level-ontology.kif 7143-7143 disjointRelation disapproves and desires
(disjointRelation dislikes wants) Mid-level-ontology.kif 7127-7127 disjointRelation dislikes and wants
(disjointRelation increasesLikelihood decreasesLikelihood) Merge.kif 2499-2499 disjointRelation increasesLikelihood and decreasesLikelihood
(disjointRelation increasesLikelihood independentProbability) Merge.kif 2500-2500 disjointRelation increasesLikelihood and independentProbability
(disjointRelation manner attribute) Merge.kif 1637-1637 disjointRelation manner and attribute
(disjointRelation meetsSpatially overlapsSpatially) Merge.kif 8874-8874 disjointRelation meetsSpatially and overlapsSpatially
(disjointRelation mutualStranger mutualAcquaintance) Mid-level-ontology.kif 21268-21268 disjointRelation mutualStranger and mutualAcquaintance
(disjointRelation referee plays) ComputingBrands.kif 1656-1656 disjointRelation referee and プレー
(disjointRelation resource instrument) Merge.kif 2414-2414 disjointRelation resource and instrument
(disjointRelation resource result) Merge.kif 2413-2413 disjointRelation resource and result
(disjointRelation result instrument) Merge.kif 2415-2415 disjointRelation result and instrument
(disjointRelation spouse domesticPartner) Mid-level-ontology.kif 21283-21283 disjointRelation spouse and domesticPartner
(disjointRelation stays home) Merge.kif 13240-13240 disjointRelation stays and home
(disjointRelation stranger acquaintance) Mid-level-ontology.kif 21253-21253 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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners