No TPTP formula. May not be expressible in strict first order. |
Merge.kif 6035-6035 |
O contra-dominio de MaximalWeightedPathFn e' uma instancia de Caminho do Grafo |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 6013-6013 |
O contra-dominio de MinimalWeightedPathFn e' uma instancia de Caminho do Grafo |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 6073-6073 |
Os valores retornados por CutSetFn sao as sub-classes de Caminho do Grafo |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 6057-6057 |
Os valores retornados por GraphPathFn sao as sub-classes de Caminho do Grafo |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 6081-6081 |
Os valores retornados por MinimalCutSetFn sao as sub-classes de Caminho do Grafo |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 5753-5753 |
Circuito do Grafo e' uma sub-classe de Caminho do Grafo |
No TPTP formula. May not be expressible in strict first order. |
chinese_format.kif 936-936 |
|
No TPTP formula. May not be expressible in strict first order. |
english_format.kif 1079-1079 |
|
No TPTP formula. May not be expressible in strict first order. |
french_format.kif 612-612 |
|
No TPTP formula. May not be expressible in strict first order. |
terms-hindi.txt 143-143 |
|
No TPTP formula. May not be expressible in strict first order. |
terms-it.txt 146-146 |
|
No TPTP formula. May not be expressible in strict first order. |
japanese_format.kif 2297-2297 |
|
No TPTP formula. May not be expressible in strict first order. |
portuguese_format.kif 564-564 |
|
No TPTP formula. May not be expressible in strict first order. |
terms-cb.txt 148-148 |
|
No TPTP formula. May not be expressible in strict first order. |
terms-cz.txt 180-180 |
|
No TPTP formula. May not be expressible in strict first order. |
relations-ro.kif 633-633 |
|
No TPTP formula. May not be expressible in strict first order. |
terms-tg.txt 147-147 |
|