No TPTP formula. May not be expressible in strict first order. 
Merge.kif 21152132 
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 28912896 

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

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 35143522 

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 34963503 

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 35673579 

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