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

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

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