No TPTP formula. May not be expressible in strict first order. 
Merge.kif 21112128 
A relation is an instance of total valued relation and the relation is an instance of predicate if and only if there exists a positive integer such that the relation is an instance of relation and the relation %&has the positive integer argument(s) and 
No TPTP formula. May not be expressible in strict first order. 
Merge.kif 178182 

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

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

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

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

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

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

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

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

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