No TPTP formula. May not be expressible in strict first order. |
Merge.kif 5757-5757 |
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 5765-5765 |
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 5835-5835 |
The number 1 argument of graphMeasure is an instance of graph |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 5567-5567 |
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 5576-5576 |
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 5577-5577 |
The number 2 argument of sub graph is an instance of graph |