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

No TPTP formula. May not be expressible in strict first order. 
Merge.kif 25362536 
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 25372537 
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 25342534 
increases likelihood is an instance of binary predicate 
No TPTP formula. May not be expressible in strict first order. 
Merge.kif 25352535 
increases likelihood is an instance of irreflexive relation 
No TPTP formula. May not be expressible in strict first order. 
Merge.kif 25332533 
increases likelihood is an instance of probability relation 