disjointRelation - Sigma Knowledge base Browser

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 408-410
(documentation disjointRelation JapaneseLanguage "この述部は、2つの Relations を関連付ける。 (disjointRelation ?REL1 ?REL2) とは、2つの関係にタプルがないことが共通している、という意味である。")	japanese_format.kif 65-67
(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.")	spanish_format.kif 75-77
(domain disjointRelation 1 Relation)	Merge.kif 405-405	The number 1 argument of disjoint relation is an instance of relation
(domain disjointRelation 2 Relation)	Merge.kif 406-406	The number 2 argument of disjoint relation is an instance of relation
(instance disjointRelation BinaryPredicate)	Merge.kif 402-402	disjoint relation is an instance of binary predicate
(instance disjointRelation IrreflexiveRelation)	Merge.kif 403-403	disjoint relation is an instance of irreflexive relation
(instance disjointRelation PartialValuedRelation)	Merge.kif 404-404	disjoint relation is an instance of partial valued relation
(relatedInternalConcept disjointRelation disjoint)	Merge.kif 407-407	disjoint relation is internally related to 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 294-294
(format FrenchLanguage disjointRelation "%1 et %2 sont %n disjoint")	french_format.kif 167-167
(format ItalianLanguage disjointRelation "%1 e %2 sono %n disgiunti")	relations-it.txt 77-77
(format JapaneseLanguage disjointRelation "%1 と %2 は disjoint では %n")	japanese_format.kif 1987-1987
(format PortugueseLanguage disjointRelation "%1 e %2 sao %n disjuntos")	portuguese_format.kif 119-119
(format cb disjointRelation "%1 at %2 %n ay lahi")	relations-cb.txt 111-111
(format cz disjointRelation "%1 and %2 are %n disjoint")	relations-cz.txt 183-183
(format de disjointRelation "%1 und %2 werden %n{nicht} disjunkt")	relations-de.txt 376-376
(format hi disjointRelation "%1 aura %2 asanyukta %n hain")	relations-hindi.txt 117-117
(format ro disjointRelation "%1 ºi %2 %n{nu} sunt disjoint%t{disjuncte}")	relations-ro.kif 187-187
(format sv disjointRelation "%1 och %2 är %n{inte} disjunkta")	relations-sv.txt 174-174
(format tg disjointRelation "%1 at %2 %n ay iba")	relations-tg.txt 170-170
(termFormat ChineseLanguage disjointRelation "不相交关系")	chinese_format.kif 290-290
(termFormat ChineseLanguage disjointRelation "不相交的关系")	domainEnglishFormat.kif 19875-19875
(termFormat ChineseTraditionalLanguage disjointRelation "不相交的關係")	domainEnglishFormat.kif 19874-19874
(termFormat EnglishLanguage disjointRelation "disjoint relation")	domainEnglishFormat.kif 19873-19873
(termFormat de disjointRelation "disjunkteRelation")	terms-de.txt 117-117

antecedent

(=>
    (and
        (instance ?REL1 Predicate)
        (instance ?REL2 Predicate)
        (disjointRelation ?REL1 ?REL2)
        (?REL1 @ROW2))
    (not
        (?REL2 @ROW2)))

Merge.kif 440-446

If a relation is an instance of predicate and another relation is an instance of predicate and the relation and the other relation are disjoint and the relation @ROW2,
then the other relation @ROW2

consequent

(=> (and (domain ?REL1 ?NUMBER ?CLASS1) (domain ?REL2 ?NUMBER ?CLASS2) (disjoint ?CLASS1 ?CLASS2)) (disjointRelation ?REL1 ?REL2))	Merge.kif 412-417	If the number a positive integer argument of a relation is an instance of a class and the number the positive integer argument of another relation is an instance of another class and the class is disjoint from the other class, then the relation and the other relation are disjoint
(=> (and (domainSubclass ?REL1 ?NUMBER ?CLASS1) (domainSubclass ?REL2 ?NUMBER ?CLASS2) (disjoint ?CLASS1 ?CLASS2)) (disjointRelation ?REL1 ?REL2))	Merge.kif 419-424	If the number a positive integer argument of a relation is a subclass of a class and the number the positive integer argument of another relation is a subclass of another class and the class is disjoint from the other class, then the relation and the other relation are disjoint
(=> (and (range ?REL1 ?CLASS1) (range ?REL2 ?CLASS2) (disjoint ?CLASS1 ?CLASS2)) (disjointRelation ?REL1 ?REL2))	Merge.kif 426-431	If the range of a function is an instance of a class and the range of another function is an instance of another class and the class is disjoint from the other class, then the function and the other function are disjoint
(=> (and (rangeSubclass ?REL1 ?CLASS1) (rangeSubclass ?REL2 ?CLASS2) (disjoint ?CLASS1 ?CLASS2)) (disjointRelation ?REL1 ?REL2))	Merge.kif 433-438	If the values returned by a function are subclasses of a kind of class and the values returned by another function are subclasses of another kind of class and a kind of class is disjoint from another kind of class, then the function and the other function are disjoint

appearance as argument number 0

(disjointRelation ancestorOrganization subOrganization)	Mid-level-ontology.kif 25289-25289	ancestor organization and sub organization are disjoint
(disjointRelation contains part)	Merge.kif 1011-1011	contains and part are disjoint
(disjointRelation crosses connected)	Merge.kif 4196-4196	crosses and connected are disjoint
(disjointRelation decreasesLikelihood independentProbability)	Merge.kif 2594-2594	decreases likelihood and independent probability are disjoint
(disjointRelation deprivesNorm confersNorm)	Merge.kif 4009-4009	deprives norm and confers norm are disjoint
(disjointRelation disapproves desires)	Mid-level-ontology.kif 8212-8212	disapproves and desires are disjoint
(disjointRelation dislikes wants)	Mid-level-ontology.kif 8196-8196	dislikes and wants are disjoint
(disjointRelation increasesLikelihood decreasesLikelihood)	Merge.kif 2592-2592	increases likelihood and decreases likelihood are disjoint
(disjointRelation increasesLikelihood independentProbability)	Merge.kif 2593-2593	increases likelihood and independent probability are disjoint
(disjointRelation manner attribute)	Merge.kif 1727-1727	manner and attribute are disjoint
(disjointRelation meetsSpatially overlapsSpatially)	Merge.kif 9639-9639	meets spatially and overlap spatially are disjoint
(disjointRelation mutualStranger mutualAcquaintance)	Mid-level-ontology.kif 24472-24472	mutual stranger and mutual acquaintance are disjoint
(disjointRelation referee plays)	ComputingBrands.kif 1679-1679	referee and plays are disjoint
(disjointRelation resource instrument)	Merge.kif 2508-2508	resource and instrument are disjoint
(disjointRelation resource result)	Merge.kif 2507-2507	resource and result are disjoint
(disjointRelation result instrument)	Merge.kif 2509-2509	result and instrument are disjoint
(disjointRelation spouse domesticPartner)	Mid-level-ontology.kif 24487-24487	spouse and domestic partner are disjoint
(disjointRelation stays home)	Merge.kif 14467-14467	stays and home are disjoint
(disjointRelation stranger acquaintance)	Mid-level-ontology.kif 24457-24457	stranger and acquaintance are disjoint
(disjointRelation subAttribute successorAttribute)	Merge.kif 677-677	sub attribute and successor attribute are disjoint
(disjointRelation subsumedExternalConcept subsumingExternalConcept)	Merge.kif 636-636	subsumed external concept and subsuming external concept are disjoint
(disjointRelation synonymousExternalConcept subsumedExternalConcept)	Merge.kif 634-634	synonymous external concept and subsumed external concept are disjoint
(disjointRelation synonymousExternalConcept subsumingExternalConcept)	Merge.kif 635-635	synonymous external concept and subsuming external concept are disjoint

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

KB Term:			Term intersection

English Word: