increasesLikelihood


Sigma KEE  increasesLikelihood
appearance as argument number 1


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__SetOrClass)
s__instance(s__increasesLikelihood__m,s__BinaryPredicate)

Merge.kif 25352535 
increases likelihood is an instance of binary predicate 
s__instance(s__IrreflexiveRelation,s__SetOrClass)
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__SetOrClass)

Merge.kif 25342534 
increases likelihood is an instance of probability relation 
appearance as argument number 2


s__format(s__ChineseLanguage,s__increasesLikelihood__m,'"%1 %n{doesnt} 增加 %2 发生的机率"')

chinese_format.kif 125125 

s__format(s__EnglishLanguage,s__increasesLikelihood__m,'"%1 %n{doesnt} increase%p{s} likelihood of %2"')

english_format.kif 126126 

s__termFormat(s__ChineseLanguage,s__increasesLikelihood__m,'"增加可能性"')

domainEnglishFormat.kif 2953229532 

s__termFormat(s__ChineseLanguage,s__increasesLikelihood__m,'"提高可能性"')

chinese_format.kif 126126 

s__termFormat(s__ChineseTraditionalLanguage,s__increasesLikelihood__m,'"增加可能性"')

domainEnglishFormat.kif 2953129531 

s__termFormat(s__EnglishLanguage,s__increasesLikelihood__m,'"increases likelihood"')

domainEnglishFormat.kif 2953029530 

antecedent


No TPTP formula. May not be expressible in strict first order. 
Merge.kif 25472552 

consequent


No TPTP formula. May not be expressible in strict first order. 
Merge.kif 25882595 

No TPTP formula. May not be expressible in strict first order. 
Cars.kif 37143754 

No TPTP formula. May not be expressible in strict first order. 
WMD.kif 872876 

No TPTP formula. May not be expressible in strict first order. 
WMD.kif 932943 

No TPTP formula. May not be expressible in strict first order. 
Cars.kif 35623586 

No TPTP formula. May not be expressible in strict first order. 
Merge.kif 1001310020 

