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 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

instance Relation and Predicate instance Relation and Predicate disjointRelation Relation and Relation equal Relation and Relation Relation @ROW2
Relation @ROW2

consequent

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

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

KB Term:			Term intersection

English Word: