No TPTP formula. May not be expressible in strict first order. 
Merge.kif 25102510 
Probability is an instance of probability relation 
No TPTP formula. May not be expressible in strict first order. 
Merge.kif 25212521 
conditional probability is an instance of probability relation 
No TPTP formula. May not be expressible in strict first order. 
Merge.kif 25532553 
decreases likelihood is an instance of probability relation 
No TPTP formula. May not be expressible in strict first order. 
Merge.kif 25332533 
increases likelihood is an instance of probability relation 
No TPTP formula. May not be expressible in strict first order. 
Merge.kif 25702570 
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 10171017 
