No TPTP formula. May not be expressible in strict first order. 
Merge.kif 25042504 
increases likelihood and decreases likelihood are disjoint 
No TPTP formula. May not be expressible in strict first order. 
Merge.kif 25052505 
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 25082510 

No TPTP formula. May not be expressible in strict first order. 
Merge.kif 25022502 
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 25032503 
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 25002500 
increases likelihood is an instance of binary predicate 
No TPTP formula. May not be expressible in strict first order. 
Merge.kif 25012501 
increases likelihood is an instance of irreflexive relation 
No TPTP formula. May not be expressible in strict first order. 
Merge.kif 24992499 
increases likelihood is an instance of probability relation 