s__disjointRelation(s__increasesLikelihood__m,s__decreasesLikelihood__m)

Merge.kif 25392539 
increases likelihood and decreases likelihood are disjoint 
s__disjointRelation(s__increasesLikelihood__m,s__independentProbability__m)

Merge.kif 25402540 
increases likelihood and independent probability are disjoint 
s__documentation(s__increasesLikelihood__m,s__ChineseLanguage,'"这是其中一个基本的 ProbabilityRelation， (increasesLikelihood ?FORMULA1 ?FORMULA2)的意思是如果 ?FORMULA1 属真，那么 ?FORMULA2 更有 可能会是真的。"')

chinese_format.kif 19071909 

s__documentation(s__increasesLikelihood__m,s__EnglishLanguage,'"One of the basic ProbabilityRelations. (increasesLikelihood ?FORMULA1 ?FORMULA2) means that ?FORMULA2 is more likely to be true if ?FORMULA1 is true."')

Merge.kif 25432545 

s__domain(s__increasesLikelihood__m,n__1,s__Formula)

Merge.kif 25372537 
The number 1 argument of increases likelihood is an instance of formula 
s__domain(s__increasesLikelihood__m,n__2,s__Formula)

Merge.kif 25382538 
The number 2 argument of increases likelihood is an instance of formula 
s__instance(s__BinaryPredicate,s__Class)
s__instance(s__increasesLikelihood__m,s__BinaryPredicate)

Merge.kif 25352535 
increases likelihood is an instance of binary predicate 
s__instance(s__IrreflexiveRelation,s__Class)
s__instance(s__increasesLikelihood__m,s__IrreflexiveRelation)

Merge.kif 25362536 
increases likelihood is an instance of irreflexive relation 
s__instance(s__increasesLikelihood__m,s__ProbabilityRelation)
s__instance(s__ProbabilityRelation,s__Class)

Merge.kif 25342534 
increases likelihood is an instance of probability relation 