TreeView Knowledge Base Browser

appearance as argument number 1

(instance disjointRelation BinaryPredicate)	Merge.kif 401-401	disjoint relation is an instance of binary predicate
(instance disjointRelation IrreflexiveRelation)	Merge.kif 402-402	disjoint relation is an instance of irreflexive relation
(instance disjointRelation PartialValuedRelation)	Merge.kif 403-403	disjoint relation is an instance of partial valued relation
(domain disjointRelation 1 Relation)	Merge.kif 404-404	The number 1 argument of disjoint relation is an instance of relation
(domain disjointRelation 2 Relation)	Merge.kif 405-405	The number 2 argument of disjoint relation is an instance of relation
(relatedInternalConcept disjointRelation disjoint)	Merge.kif 406-406	disjoint relation is internally related to disjoint
(documentation disjointRelation EnglishLanguage "This predicate relates two Relations. (disjointRelation ?REL1 ?REL2) means that the two relations have no tuples in common.")	Merge.kif 407-409	disjoint relation is internally related to disjoint

appearance as argument number 2

(termFormat EnglishLanguage disjointRelation "disjoint relation")	domainEnglishFormat.kif 19860-19860
(termFormat ChineseTraditionalLanguage disjointRelation "不相交的關係")	domainEnglishFormat.kif 19861-19861
(termFormat ChineseLanguage disjointRelation "不相交的关系")	domainEnglishFormat.kif 19862-19862
(format EnglishLanguage disjointRelation "%1 and %2 are %n disjoint")	english_format.kif 294-294

antecedent

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

Merge.kif 439-445

If X is an instance of predicate, Y is an instance of predicate, X and Y are disjoint, and X @ROW2, then Y @ROW2

consequent

(=> (and (domain ?REL1 ?NUMBER ?CLASS1) (domain ?REL2 ?NUMBER ?CLASS2) (disjoint ?CLASS1 ?CLASS2)) (disjointRelation ?REL1 ?REL2))	Merge.kif 411-416	If the number X argument of Y is an instance of Z, the number X argument of W is an instance of V, and Z is disjoint from V, then Y and W are disjoint
(=> (and (domainSubclass ?REL1 ?NUMBER ?CLASS1) (domainSubclass ?REL2 ?NUMBER ?CLASS2) (disjoint ?CLASS1 ?CLASS2)) (disjointRelation ?REL1 ?REL2))	Merge.kif 418-423	If the number X argument of Y is a subclass of Z, the number X argument of W is a subclass of V, and Z is disjoint from V, then Y and W are disjoint
(=> (and (range ?REL1 ?CLASS1) (range ?REL2 ?CLASS2) (disjoint ?CLASS1 ?CLASS2)) (disjointRelation ?REL1 ?REL2))	Merge.kif 425-430	If the range of X is an instance of Y, the range of Z is an instance of W, and Y is disjoint from W, then X and Z are disjoint
(=> (and (rangeSubclass ?REL1 ?CLASS1) (rangeSubclass ?REL2 ?CLASS2) (disjoint ?CLASS1 ?CLASS2)) (disjointRelation ?REL1 ?REL2))	Merge.kif 432-437	If the values returned by X are subclasses of Y, the values returned by Z are subclasses of W, and Y is disjoint from W, then X and Z are disjoint

appearance as argument number 0

(disjointRelation synonymousExternalConcept subsumedExternalConcept)	Merge.kif 633-633	synonymous external concept and subsumed external concept are disjoint
(disjointRelation synonymousExternalConcept subsumingExternalConcept)	Merge.kif 634-634	synonymous external concept and subsuming external concept are disjoint
(disjointRelation subsumedExternalConcept subsumingExternalConcept)	Merge.kif 635-635	subsumed external concept and subsuming external concept are disjoint
(disjointRelation subAttribute successorAttribute)	Merge.kif 676-676	sub attribute and successor attribute are disjoint
(disjointRelation contains part)	Merge.kif 1091-1091	contains and part are disjoint
(disjointRelation manner attribute)	Merge.kif 1825-1825	manner and attribute are disjoint
(disjointRelation resource result)	Merge.kif 2621-2621	resource and result are disjoint
(disjointRelation resource instrument)	Merge.kif 2622-2622	resource and instrument are disjoint
(disjointRelation result instrument)	Merge.kif 2623-2623	result and instrument are disjoint
(disjointRelation increasesLikelihood decreasesLikelihood)	Merge.kif 2707-2707	increases likelihood and decreases likelihood are disjoint
(disjointRelation increasesLikelihood independentProbability)	Merge.kif 2708-2708	increases likelihood and independent probability are disjoint
(disjointRelation decreasesLikelihood independentProbability)	Merge.kif 2709-2709	decreases likelihood and independent probability are disjoint
(disjointRelation deprivesNorm confersNorm)	Merge.kif 4116-4116	deprives norm and confers norm are disjoint
(disjointRelation crosses connected)	Merge.kif 4312-4312	crosses and connected are disjoint
(disjointRelation meetsSpatially overlapsSpatially)	Merge.kif 9799-9799	meets spatially and overlap spatially are disjoint
(disjointRelation stays home)	Merge.kif 14705-14705	stays and home are disjoint
(disjointRelation dislikes wants)	Mid-level-ontology.kif 8743-8743	dislikes and wants are disjoint
(disjointRelation disapproves desires)	Mid-level-ontology.kif 8759-8759	disapproves and desires are disjoint
(disjointRelation stranger acquaintance)	Mid-level-ontology.kif 25661-25661	stranger and acquaintance are disjoint
(disjointRelation mutualStranger mutualAcquaintance)	Mid-level-ontology.kif 25676-25676	mutual stranger and mutual acquaintance are disjoint
(disjointRelation spouse domesticPartner)	Mid-level-ontology.kif 25691-25691	spouse and domestic partner are disjoint
(disjointRelation ancestorOrganization subOrganization)	Mid-level-ontology.kif 26453-26453	ancestor organization and sub organization are disjoint
(disjointRelation devicePlannedDownTime deviceFailTime)	Mid-level-ontology.kif 34526-34526	device planned down time and device fail time are disjoint
(disjointRelation referee plays)	ComputingBrands.kif 1679-1679	referee and plays are disjoint

Show simplified definition (without tree view)
Show simplified definition (with tree view)

KB Term:			Term intersection

English Word: