No TPTP formula. May not be expressible in strict first order. |
Merge.kif 5750-5750 |
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 5751-5751 |
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 5725-5725 |
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 5726-5726 |
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 5700-5700 |
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 5701-5701 |
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 5561-5561 |
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 5562-5562 |
The number 2 argument of links is an instance of graph node |