(range MaximalWeightedPathFn GraphPath) |
Merge.kif 6029-6029 |
|
(range MinimalWeightedPathFn GraphPath) |
Merge.kif 6007-6007 |
|
(rangeSubclass CutSetFn GraphPath) |
Merge.kif 6067-6067 |
|
(rangeSubclass GraphPathFn GraphPath) |
Merge.kif 6051-6051 |
|
(rangeSubclass MinimalCutSetFn GraphPath) |
Merge.kif 6075-6075 |
|
(subclass GraphCircuit GraphPath) |
Merge.kif 5747-5747 |
|
(termFormat ChineseLanguage GraphPath "图路径") |
chinese_format.kif 936-936 |
|
(termFormat EnglishLanguage GraphPath "graph path") |
english_format.kif 1079-1079 |
|
(termFormat FrenchLanguage GraphPath "chemin du graph") |
french_format.kif 612-612 |
|
(termFormat Hindi GraphPath "aalekha patha") |
terms-hindi.txt 143-143 |
|
(termFormat ItalianLanguage GraphPath "CamminoDelGrafo") |
terms-it.txt 146-146 |
|
(termFormat JapaneseLanguage GraphPath "グラフパス") |
japanese_format.kif 2297-2297 |
|
(termFormat PortugueseLanguage GraphPath "Caminho do Grafo") |
portuguese_format.kif 564-564 |
|
(termFormat cb GraphPath "agianang agi") |
terms-cb.txt 148-148 |
|
(termFormat cz GraphPath "graph path") |
terms-cz.txt 180-180 |
|
(termFormat ro GraphPath "cale intr-un graf") |
relations-ro.kif 633-633 |
|
(termFormat tg GraphPath "bakas na talaguhitan") |
terms-tg.txt 147-147 |
|