(disjointRelation decreasesLikelihood independentProbability) 
Merge.kif 25012501 
decreases likelihood and independent probability are disjoint 
(disjointRelation increasesLikelihood independentProbability) 
Merge.kif 25002500 
increases likelihood and independent probability are disjoint 
(format ChineseLanguage independentProbability "%1 和 %2 各自独立发生的机率是 %n") 
chinese_format.kif 127127 

(format EnglishLanguage independentProbability "probability of %1 and %2 is %n independent") 
english_format.kif 128128 

(termFormat ChineseLanguage independentProbability "独立发生机率") 
chinese_format.kif 128128 

(termFormat ChineseLanguage independentProbability "独立概率") 
domainEnglishFormat.kif 2947329473 

(termFormat ChineseTraditionalLanguage independentProbability "獨立概率") 
domainEnglishFormat.kif 2947229472 

(termFormat EnglishLanguage independentProbability "independent probability") 
domainEnglishFormat.kif 2947129471 
