No TPTP formula. May not be expressible in strict first order. 
Merge.kif 24992499 
increases likelihood and decreases likelihood are disjoint 
No TPTP formula. May not be expressible in strict first order. 
Merge.kif 25002500 
increases likelihood and independent probability are disjoint 
No TPTP formula. May not be expressible in strict first order. 
chinese_format.kif 19071909 

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

No TPTP formula. May not be expressible in strict first order. 
Merge.kif 24972497 
The number 1 argument of increases likelihood is an instance of formula 
No TPTP formula. May not be expressible in strict first order. 
Merge.kif 24982498 
The number 2 argument of increases likelihood is an instance of formula 
No TPTP formula. May not be expressible in strict first order. 
Merge.kif 24952495 
increases likelihood is an instance of binary predicate 
No TPTP formula. May not be expressible in strict first order. 
Merge.kif 24962496 
increases likelihood is an instance of irreflexive relation 
No TPTP formula. May not be expressible in strict first order. 
Merge.kif 24942494 
increases likelihood is an instance of probability relation 