(disjointRelation decreasesLikelihood independentProbability) 
Merge.kif 25402540 
decreases likelihood and independent probability are disjoint 
(disjointRelation increasesLikelihood independentProbability) 
Merge.kif 25392539 
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 2956229562 

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

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