No TPTP formula. May not be expressible in strict first order. 
Merge.kif 24762476 
Probability is an instance of probability relation 
No TPTP formula. May not be expressible in strict first order. 
Merge.kif 24872487 
conditional probability is an instance of probability relation 
No TPTP formula. May not be expressible in strict first order. 
Merge.kif 25192519 
decreases likelihood is an instance of probability relation 
No TPTP formula. May not be expressible in strict first order. 
Merge.kif 24992499 
increases likelihood is an instance of probability relation 
No TPTP formula. May not be expressible in strict first order. 
Merge.kif 25362536 
independent probability is an instance of probability relation 
No TPTP formula. May not be expressible in strict first order. 
chinese_format.kif 905905 

No TPTP formula. May not be expressible in strict first order. 
english_format.kif 10221022 
