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) 的意思是指这两种关系没有共同的元组。") Merge.kif 618-619
(documentation disjointRelation EnglishLanguage "This predicate relates two Relations. (disjointRelation ?REL1 ?REL2) means that the two relations have no tuples in common.") Merge.kif 614-616
(documentation disjointRelation JapaneseLanguage "この述部は、2つの Relations を関連付ける。 (disjointRelation ?REL1 ?REL2) とは、2つの関係にタプルがないことが共通している、という意味で ある。") Merge.kif 621-623
(documentation disjointRelation SpanishLanguage "Este predicado se relaciona con dos Relations. (disjointRelation ?REL1 ?REL2) significa que las dos relaciones no tienen ninguna tupla en común.") Merge.kif 625-627
(domain disjointRelation 1 Relation) Merge.kif 611-611 disjointRelation の数値 1 引数は 関係instance では %n
(domain disjointRelation 2 Relation) Merge.kif 612-612 disjointRelation の数値 2 引数は 関係instance では %n
(instance disjointRelation BinaryPredicate) Merge.kif 608-608 disjointRelation2進述語instance では %n
(instance disjointRelation IrreflexiveRelation) Merge.kif 609-609 disjointRelation非反射関係instance では %n
(instance disjointRelation PartialValuedRelation) Merge.kif 610-610 disjointRelation部分的価値関係instance では %n
(relatedInternalConcept disjointRelation disjoint) Merge.kif 613-613 disjointRelationdisjointinternally 関連して %n

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 409-409
(format JapaneseLanguage disjointRelation "%1 と %2 は disjoint では %n") english_format.kif 410-410
(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 657-664

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


(=>
    (and
        (domain ?REL1 ?NUMBER ?CLASS1)
        (domain ?REL2 ?NUMBER ?CLASS2)
        (disjoint ?CLASS1 ?CLASS2))
    (disjointRelation ?REL1 ?REL2))
Merge.kif 629-634
(=>
    (and
        (domainSubclass ?REL1 ?NUMBER ?CLASS1)
        (domainSubclass ?REL2 ?NUMBER ?CLASS2)
        (disjoint ?CLASS1 ?CLASS2))
    (disjointRelation ?REL1 ?REL2))
Merge.kif 636-641
(=>
    (and
        (range ?REL1 ?CLASS1)
        (range ?REL2 ?CLASS2)
        (disjoint ?CLASS1 ?CLASS2))
    (disjointRelation ?REL1 ?REL2))
Merge.kif 643-648
(=>
    (and
        (rangeSubclass ?REL1 ?CLASS1)
        (rangeSubclass ?REL2 ?CLASS2)
        (disjoint ?CLASS1 ?CLASS2))
    (disjointRelation ?REL1 ?REL2))
Merge.kif 650-655

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


(disjointRelation ancestorOrganization subOrganization) Mid-level-ontology.kif 21934-21934 ancestorOrganizationsubOrganizationdisjoint では %n
(disjointRelation contains part) Merge.kif 1540-1540 containspartdisjoint では %n
(disjointRelation crosses connected) Merge.kif 6273-6273 crossesconnecteddisjoint では %n
(disjointRelation decreasesLikelihood independentProbability) Merge.kif 4214-4214 decreasesLikelihoodindependentProbabilitydisjoint では %n
(disjointRelation deprivesNorm confersNorm) Merge.kif 6030-6030 deprivesNormconfersNormdisjoint では %n
(disjointRelation disapproves desires) Mid-level-ontology.kif 7143-7143 disapprovesdesiresdisjoint では %n
(disjointRelation dislikes wants) Mid-level-ontology.kif 7127-7127 dislikeswantsdisjoint では %n
(disjointRelation increasesLikelihood decreasesLikelihood) Merge.kif 4212-4212 increasesLikelihooddecreasesLikelihooddisjoint では %n
(disjointRelation increasesLikelihood independentProbability) Merge.kif 4213-4213 increasesLikelihoodindependentProbabilitydisjoint では %n
(disjointRelation manner attribute) Merge.kif 2790-2790 mannerattributedisjoint では %n
(disjointRelation meetsSpatially overlapsSpatially) Merge.kif 13254-13254 meetsSpatiallyoverlapsSpatiallydisjoint では %n
(disjointRelation mutualStranger mutualAcquaintance) Mid-level-ontology.kif 21268-21268 mutualStrangermutualAcquaintancedisjoint では %n
(disjointRelation referee plays) ComputingBrands.kif 1570-1570 refereeプレーdisjoint では %n
(disjointRelation resource instrument) Merge.kif 4067-4067 resourceinstrumentdisjoint では %n
(disjointRelation resource result) Merge.kif 4066-4066 resourceresultdisjoint では %n
(disjointRelation result instrument) Merge.kif 4068-4068 resultinstrumentdisjoint では %n
(disjointRelation spouse domesticPartner) Mid-level-ontology.kif 21283-21283 spousedomesticPartnerdisjoint では %n
(disjointRelation stays home) Merge.kif 18808-18808 stayshomedisjoint では %n
(disjointRelation stranger acquaintance) Mid-level-ontology.kif 21253-21253 strangeracquaintancedisjoint では %n
(disjointRelation subAttribute successorAttribute) Merge.kif 998-998 subAttributesuccessorAttributedisjoint では %n
(disjointRelation subsumedExternalConcept subsumingExternalConcept) Merge.kif 917-917 subsumedExternalConceptsubsumingExternalConceptdisjoint では %n
(disjointRelation synonymousExternalConcept subsumedExternalConcept) Merge.kif 915-915 synonymousExternalConceptsubsumedExternalConceptdisjoint では %n
(disjointRelation synonymousExternalConcept subsumingExternalConcept) Merge.kif 916-916 synonymousExternalConceptsubsumingExternalConceptdisjoint では %n


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