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

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

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