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 2 Relation)	Merge.kif 412-412
(instance disjointRelation BinaryPredicate)	Merge.kif 408-408
(instance disjointRelation IrreflexiveRelation)	Merge.kif 409-409
(instance disjointRelation PartialValuedRelation)	Merge.kif 410-410
(relatedInternalConcept disjointRelation disjoint)	Merge.kif 413-413

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 19847-19847
(termFormat ChineseTraditionalLanguage disjointRelation "不相交的關係")	domainEnglishFormat.kif 19846-19846
(termFormat EnglishLanguage disjointRelation "disjoint relation")	domainEnglishFormat.kif 19845-19845

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 20470-20470
(disjointRelation contains part)	Merge.kif 945-945
(disjointRelation crosses connected)	Merge.kif 4060-4060
(disjointRelation decreasesLikelihood independentProbability)	Merge.kif 2505-2505
(disjointRelation deprivesNorm confersNorm)	Merge.kif 3882-3882
(disjointRelation disapproves desires)	Mid-level-ontology.kif 6464-6464
(disjointRelation dislikes wants)	Mid-level-ontology.kif 6448-6448
(disjointRelation increasesLikelihood decreasesLikelihood)	Merge.kif 2503-2503
(disjointRelation increasesLikelihood independentProbability)	Merge.kif 2504-2504
(disjointRelation manner attribute)	Merge.kif 1642-1642
(disjointRelation meetsSpatially overlapsSpatially)	Merge.kif 9030-9030
(disjointRelation mutualStranger mutualAcquaintance)	Mid-level-ontology.kif 19794-19794
(disjointRelation referee plays)	ComputingBrands.kif 1648-1648
(disjointRelation resource instrument)	Merge.kif 2419-2419
(disjointRelation resource result)	Merge.kif 2418-2418
(disjointRelation result instrument)	Merge.kif 2420-2420
(disjointRelation spouse domesticPartner)	Mid-level-ontology.kif 19809-19809
(disjointRelation stays home)	Merge.kif 13393-13393
(disjointRelation stranger acquaintance)	Mid-level-ontology.kif 19779-19779
(disjointRelation subAttribute successorAttribute)	Merge.kif 655-655
(disjointRelation subsumedExternalConcept subsumingExternalConcept)	Merge.kif 621-621
(disjointRelation synonymousExternalConcept subsumedExternalConcept)	Merge.kif 619-619
(disjointRelation synonymousExternalConcept subsumingExternalConcept)	Merge.kif 620-620

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: