No TPTP formula. May not be expressible in strict first order. |
Merge.kif 5636-5636 |
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 5644-5644 |
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 5714-5714 |
The number 1 argument of graphMeasure is an instance of graph |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 5446-5446 |
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 5455-5455 |
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 5456-5456 |
The number 2 argument of sub graph is an instance of graph |