conditionalProbability


Sigma KEE  conditionalProbability
appearance as argument number 1


s__documentation(s__conditionalProbability__m,s__ChineseLanguage,'"这是其中一个基本的 ProbabilityRelations，conditionalProbability 是用来描述一个条件机率的数值。 (conditionalProbability ?FORMULA1 ?FORMULA2 ?NUMBER) 的意思是，如果 ?FORMULA1 属真，那么 ?FORMULA2 会是真，它出现的机率会是?NUMBER。"')

chinese_format.kif 19031906 

s__documentation(s__conditionalProbability__m,s__EnglishLanguage,'"One of the basic ProbabilityRelations. conditionalProbability is used to state the numeric value of a conditional probability. (conditionalProbability ?FORMULA1 ?FORMULA2 ?NUMBER) means that the probability of ?FORMULA2 being true given that ?FORMULA1 is true is ?NUMBER."')

Merge.kif 25282532 

s__domain(s__conditionalProbability__m,n__1,s__Formula)

Merge.kif 25242524 
The number 1 argument of conditional probability is an instance of formula 
s__domain(s__conditionalProbability__m,n__2,s__Formula)

Merge.kif 25252525 
The number 2 argument of conditional probability is an instance of formula 
s__domain(s__conditionalProbability__m,n__3,s__RealNumber)

Merge.kif 25262526 
The number 3 argument of conditional probability is an instance of real number 
s__instance(s__ProbabilityRelation,s__Class)
s__instance(s__conditionalProbability__m,s__ProbabilityRelation)

Merge.kif 25222522 
conditional probability is an instance of probability relation 
s__instance(s__conditionalProbability__m,s__TernaryPredicate)
s__instance(s__TernaryPredicate,s__Class)

Merge.kif 25232523 
conditional probability is an instance of ternary predicate 
appearance as argument number 2


s__format(s__ChineseLanguage,s__conditionalProbability__m,'"如果 %2 是正确， 那 %1 的机率就 %n 是 %3"')

chinese_format.kif 7777 

s__format(s__EnglishLanguage,s__conditionalProbability__m,'"probability of %1 provided that %2 holds is %n %3"')

english_format.kif 7777 

s__termFormat(s__ChineseLanguage,s__conditionalProbability__m,'"机率"')

chinese_format.kif 7878 

s__termFormat(s__ChineseLanguage,s__conditionalProbability__m,'"条件概率"')

domainEnglishFormat.kif 1650316503 

s__termFormat(s__ChineseTraditionalLanguage,s__conditionalProbability__m,'"條件概率"')

domainEnglishFormat.kif 1650216502 

s__termFormat(s__EnglishLanguage,s__conditionalProbability__m,'"conditional probability"')

domainEnglishFormat.kif 1650116501 

antecedent


No TPTP formula. May not be expressible in strict first order. 
Dining.kif 11011109 

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

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

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

No TPTP formula. May not be expressible in strict first order. 
Dining.kif 725748 

No TPTP formula. May not be expressible in strict first order. 
Dining.kif 507516 

No TPTP formula. May not be expressible in strict first order. 
Dining.kif 371382 

