s__disjointRelation(s__decreasesLikelihood__m,s__independentProbability__m)

Merge.kif 25412541 
decreases likelihood and independent probability are disjoint 
s__disjointRelation(s__increasesLikelihood__m,s__independentProbability__m)

Merge.kif 25402540 
increases likelihood and independent probability are disjoint 
s__format(s__ChineseLanguage,s__independentProbability__m,'"%1 和 %2 各自独立发生的机率是 %n"')

chinese_format.kif 127127 

s__format(s__EnglishLanguage,s__independentProbability__m,'"probability of %1 and %2 is %n independent"')

english_format.kif 128128 

s__termFormat(s__ChineseLanguage,s__independentProbability__m,'"独立发生机率"')

chinese_format.kif 128128 

s__termFormat(s__ChineseLanguage,s__independentProbability__m,'"独立概率"')

domainEnglishFormat.kif 2956229562 

s__termFormat(s__ChineseTraditionalLanguage,s__independentProbability__m,'"獨立概率"')

domainEnglishFormat.kif 2956129561 

s__termFormat(s__EnglishLanguage,s__independentProbability__m,'"independent probability"')

domainEnglishFormat.kif 2956029560 
