No TPTP formula. May not be expressible in strict first order. |
Merge.kif 6034-6034 |
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 6012-6012 |
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 6072-6072 |
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 6056-6056 |
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 6080-6080 |
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 5752-5752 |
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 |
|