No TPTP formula. May not be expressible in strict first order. |
Merge.kif 5740-5740 |
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 5741-5741 |
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 5715-5715 |
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 5716-5716 |
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 5690-5690 |
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 5691-5691 |
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 5551-5551 |
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 5552-5552 |
The number 2 argument of links is an instance of graph node |