No TPTP formula. May not be expressible in strict first order. |
Merge.kif 5975-5975 |
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 5983-5983 |
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 6053-6053 |
The number 1 argument of graphMeasure is an instance of graph |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 5787-5787 |
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 5796-5796 |
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 5797-5797 |
The number 2 argument of sub graph is an instance of graph |