No TPTP formula. May not be expressible in strict first order. 
Merge.kif 25592559 
decreases likelihood and independent probability are disjoint 
No TPTP formula. May not be expressible in strict first order. 
chinese_format.kif 19101912 

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

No TPTP formula. May not be expressible in strict first order. 
Merge.kif 25752575 
The number 1 argument of decreases likelihood is an instance of formula 
No TPTP formula. May not be expressible in strict first order. 
Merge.kif 25762576 
The number 2 argument of decreases likelihood is an instance of formula 
No TPTP formula. May not be expressible in strict first order. 
Merge.kif 25732573 
decreases likelihood is an instance of binary predicate 
No TPTP formula. May not be expressible in strict first order. 
Merge.kif 25742574 
decreases likelihood is an instance of irreflexive relation 
No TPTP formula. May not be expressible in strict first order. 
Merge.kif 25722572 
decreases likelihood is an instance of probability relation 