No TPTP formula. May not be expressible in strict first order. 
Merge.kif 53565366 
A graph is an instance of multi graph if and only if there exist a graph arc, another graph arc,, , a graph node and another graph node such that the graph arc is a part of the graph and the other graph arc is a part of the graph and the graph node is a part of the graph and the other graph node is a part of the graph and the graph arc links the graph node and the other graph node and the other graph arc links the graph node and the other graph node and the graph arc is not equal to the other graph arc 
No TPTP formula. May not be expressible in strict first order. 
Merge.kif 53735378 
A graph is an instance of pseudo graph if and only if there exists a graph element such that the graph element is an instance of graph loop and the graph element is a part of the graph 
No TPTP formula. May not be expressible in strict first order. 
Transportation.kif 28152825 

No TPTP formula. May not be expressible in strict first order. 
Transportation.kif 28272837 

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

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

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

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

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

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

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