No TPTP formula. May not be expressible in strict first order. |
Merge.kif 5958-5958 |
The number 1 argument of graph path is an instance of graph node |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 5959-5959 |
The number 2 argument of graph path is an instance of graph node |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 5933-5933 |
The number 1 argument of maximal weighted path is an instance of graph node |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 5934-5934 |
The number 2 argument of maximal weighted path is an instance of graph node |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 5908-5908 |
The number 1 argument of minimal weighted path is an instance of graph node |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 5909-5909 |
The number 2 argument of minimal weighted path is an instance of graph node |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 5771-5771 |
The number 1 argument of links is an instance of graph node |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 5772-5772 |
The number 2 argument of links is an instance of graph node |