disjointRelation - Sigma Knowledge base Browser

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	disjointRelation は 2進述語の 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	disjointRelation は disjoint に internally 関連して %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

関係は述語の instance では %n 関係は述語の instance では %n 関係と関係は disjoint では %n 関係は関係と equal では関係 @ROW2
関係 @ROW2

consequent

(=> (and (domain ?REL1 ?NUMBER ?CLASS1) (domain ?REL2 ?NUMBER ?CLASS2) (disjoint ?CLASS1 ?CLASS2)) (disjointRelation ?REL1 ?REL2))	Merge.kif 629-634	関係の数値正の整数引数は同じセットまたはクラスの instance では %n 関係の数値正の整数引数は同じセットまたはクラスの instance では %n 同じセットまたはクラスと同じセットまたはクラスは disjoint では %n 関係と関係は disjoint では %n
(=> (and (domainSubclass ?REL1 ?NUMBER ?CLASS1) (domainSubclass ?REL2 ?NUMBER ?CLASS2) (disjoint ?CLASS1 ?CLASS2)) (disjointRelation ?REL1 ?REL2))	Merge.kif 636-641	関係の数値正の整数引数は同じセットまたはクラスのsubclass では %n 関係の数値正の整数引数は同じセットまたはクラスのsubclass では %n 同じセットまたはクラスと同じセットまたはクラスは disjoint では %n 関係と関係は disjoint では %n
(=> (and (range ?REL1 ?CLASS1) (range ?REL2 ?CLASS2) (disjoint ?CLASS1 ?CLASS2)) (disjointRelation ?REL1 ?REL2))	Merge.kif 643-648	関数の range は同じセットまたはクラスのインスタンスでは %n 関数の range は同じセットまたはクラスのインスタンスでは %n 同じセットまたはクラスと同じセットまたはクラスは disjoint では %n 関数と関数は disjoint では %n
(=> (and (rangeSubclass ?REL1 ?CLASS1) (rangeSubclass ?REL2 ?CLASS2) (disjoint ?CLASS1 ?CLASS2)) (disjointRelation ?REL1 ?REL2))	Merge.kif 650-655	関数が返す値は同じセットまたはクラスの subclasses では %n 関数が返す値は同じセットまたはクラスの subclasses では %n 同じセットまたはクラスと同じセットまたはクラスは disjoint では %n 関数と関数は disjoint では %n

appearance as argument number 0

(disjointRelation ancestorOrganization subOrganization)	Mid-level-ontology.kif 21934-21934	ancestorOrganization と subOrganization は disjoint では %n
(disjointRelation contains part)	Merge.kif 1540-1540	contains と part は disjoint では %n
(disjointRelation crosses connected)	Merge.kif 6273-6273	crosses と connected は disjoint では %n
(disjointRelation decreasesLikelihood independentProbability)	Merge.kif 4214-4214	decreasesLikelihood と independentProbability は disjoint では %n
(disjointRelation deprivesNorm confersNorm)	Merge.kif 6030-6030	deprivesNorm と confersNorm は disjoint では %n
(disjointRelation disapproves desires)	Mid-level-ontology.kif 7143-7143	disapproves と desires は disjoint では %n
(disjointRelation dislikes wants)	Mid-level-ontology.kif 7127-7127	dislikes と wants は disjoint では %n
(disjointRelation increasesLikelihood decreasesLikelihood)	Merge.kif 4212-4212	increasesLikelihood と decreasesLikelihood は disjoint では %n
(disjointRelation increasesLikelihood independentProbability)	Merge.kif 4213-4213	increasesLikelihood と independentProbability は disjoint では %n
(disjointRelation manner attribute)	Merge.kif 2790-2790	manner と attribute は disjoint では %n
(disjointRelation meetsSpatially overlapsSpatially)	Merge.kif 13254-13254	meetsSpatially と overlapsSpatially は disjoint では %n
(disjointRelation mutualStranger mutualAcquaintance)	Mid-level-ontology.kif 21268-21268	mutualStranger と mutualAcquaintance は disjoint では %n
(disjointRelation referee plays)	ComputingBrands.kif 1570-1570	referee とプレーは disjoint では %n
(disjointRelation resource instrument)	Merge.kif 4067-4067	resource と instrument は disjoint では %n
(disjointRelation resource result)	Merge.kif 4066-4066	resource と result は disjoint では %n
(disjointRelation result instrument)	Merge.kif 4068-4068	result と instrument は disjoint では %n
(disjointRelation spouse domesticPartner)	Mid-level-ontology.kif 21283-21283	spouse と domesticPartner は disjoint では %n
(disjointRelation stays home)	Merge.kif 18808-18808	stays と home は disjoint では %n
(disjointRelation stranger acquaintance)	Mid-level-ontology.kif 21253-21253	stranger と acquaintance は disjoint では %n
(disjointRelation subAttribute successorAttribute)	Merge.kif 998-998	subAttribute と successorAttribute は disjoint では %n
(disjointRelation subsumedExternalConcept subsumingExternalConcept)	Merge.kif 917-917	subsumedExternalConcept と subsumingExternalConcept は disjoint では %n
(disjointRelation synonymousExternalConcept subsumedExternalConcept)	Merge.kif 915-915	synonymousExternalConcept と subsumedExternalConcept は disjoint では %n
(disjointRelation synonymousExternalConcept subsumingExternalConcept)	Merge.kif 916-916	synonymousExternalConcept と subsumingExternalConcept は disjoint では %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

KB Term:			Term intersection

English Word: