No TPTP formula. May not be expressible in strict first order. 
Merge.kif 25702570 
Probability is an instance of probability relation 
No TPTP formula. May not be expressible in strict first order. 
Merge.kif 25812581 
conditional probability is an instance of probability relation 
No TPTP formula. May not be expressible in strict first order. 
Merge.kif 26132613 
decreases likelihood is an instance of probability relation 
No TPTP formula. May not be expressible in strict first order. 
Merge.kif 25932593 
increases likelihood is an instance of probability relation 
No TPTP formula. May not be expressible in strict first order. 
Merge.kif 26302630 
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 

No TPTP formula. May not be expressible in strict first order. 
french_format.kif 581581 

No TPTP formula. May not be expressible in strict first order. 
termshindi.txt 111111 

No TPTP formula. May not be expressible in strict first order. 
termsit.txt 114114 

No TPTP formula. May not be expressible in strict first order. 
japanese_format.kif 22662266 

No TPTP formula. May not be expressible in strict first order. 
portuguese_format.kif 533533 

No TPTP formula. May not be expressible in strict first order. 
termscz.txt 148148 

No TPTP formula. May not be expressible in strict first order. 
relationsro.kif 602602 

No TPTP formula. May not be expressible in strict first order. 
termstg.txt 115115 
