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

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

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