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 28872892 

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

No TPTP formula. May not be expressible in strict first order. 
Media.kif 21082115 

No TPTP formula. May not be expressible in strict first order. 
Media.kif 20952105 

No TPTP formula. May not be expressible in strict first order. 
Media.kif 20772092 

No TPTP formula. May not be expressible in strict first order. 
Media.kif 21342147 

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

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

No TPTP formula. May not be expressible in strict first order. 
Media.kif 22052218 

No TPTP formula. May not be expressible in strict first order. 
Media.kif 21702183 

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

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

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

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