No TPTP formula. May not be expressible in strict first order. |
Merge.kif 5767-5767 |
The number 1 argument of cut set is an instance of graph |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 5775-5775 |
The number 1 argument of minimal cut set is an instance of graph |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 5845-5845 |
The number 1 argument of graphMeasure is an instance of graph |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 5577-5577 |
The number 2 argument of graph part is an instance of graph |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 5586-5586 |
The number 1 argument of sub graph is an instance of graph |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 5587-5587 |
The number 2 argument of sub graph is an instance of graph |