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 "不相交的关系") domainEnglishFormat.kif 19783-19783
(termFormat ChineseTraditionalLanguage disjointRelation "不相交的關係") domainEnglishFormat.kif 19782-19782
(termFormat EnglishLanguage disjointRelation "disjoint relation") domainEnglishFormat.kif 19781-19781

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


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

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 21971-21971 disjointRelation ancestorOrganization and subOrganization
(disjointRelation contains part) Merge.kif 943-943 disjointRelation contains and part
(disjointRelation crosses connected) Merge.kif 4048-4048 disjointRelation crosses and connected
(disjointRelation decreasesLikelihood independentProbability) Merge.kif 2501-2501 disjointRelation decreasesLikelihood and independentProbability
(disjointRelation deprivesNorm confersNorm) Merge.kif 3870-3870 disjointRelation deprivesNorm and confersNorm
(disjointRelation disapproves desires) Mid-level-ontology.kif 7123-7123 disjointRelation disapproves and desires
(disjointRelation dislikes wants) Mid-level-ontology.kif 7107-7107 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 1638-1638 disjointRelation manner and attribute
(disjointRelation meetsSpatially overlapsSpatially) Merge.kif 8998-8998 disjointRelation meetsSpatially and overlapsSpatially
(disjointRelation mutualStranger mutualAcquaintance) Mid-level-ontology.kif 21305-21305 disjointRelation mutualStranger and mutualAcquaintance
(disjointRelation referee plays) ComputingBrands.kif 1654-1654 disjointRelation referee and プレー
(disjointRelation resource instrument) Merge.kif 2415-2415 disjointRelation resource and instrument
(disjointRelation resource result) Merge.kif 2414-2414 disjointRelation resource and result
(disjointRelation result instrument) Merge.kif 2416-2416 disjointRelation result and instrument
(disjointRelation spouse domesticPartner) Mid-level-ontology.kif 21320-21320 disjointRelation spouse and domesticPartner
(disjointRelation stays home) Merge.kif 13358-13358 disjointRelation stays and home
(disjointRelation stranger acquaintance) Mid-level-ontology.kif 21290-21290 disjointRelation stranger and acquaintance
(disjointRelation subAttribute successorAttribute) Merge.kif 655-655 disjointRelation subAttribute and successorAttribute
(disjointRelation subsumedExternalConcept subsumingExternalConcept) Merge.kif 621-621 disjointRelation subsumedExternalConcept and subsumingExternalConcept
(disjointRelation synonymousExternalConcept subsumedExternalConcept) Merge.kif 619-619 disjointRelation synonymousExternalConcept and subsumedExternalConcept
(disjointRelation synonymousExternalConcept subsumingExternalConcept) Merge.kif 620-620 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