GraphPathFn |
appearance as argument number 1 |
appearance as argument number 2 |
(format ChineseLanguage GraphPathFn "%1 和 %2 的路径集 Set") | chinese_format.kif 775-775 | |
(format EnglishLanguage GraphPathFn "the set of paths between %1 and %2") | english_format.kif 775-775 | |
(format FrenchLanguage GraphPathFn "l' ensemble de chemin entre %1 et %2") | french_format.kif 467-467 | |
(format ItalianLanguage GraphPathFn "l' insieme di cammini tra %1 e %2") | relations-it.txt 120-120 | |
(format JapaneseLanguage GraphPathFn "%1 と %2 間のパスの set") | japanese_format.kif 2171-2171 | |
(format PortugueseLanguage GraphPathFn "o conjunto de caminhos entre %1 e %2") | portuguese_format.kif 419-419 | |
(format de GraphPathFn "die menge von Pfaden zwischen %1 und %2") | relations-de.txt 1003-1003 | |
(format hi GraphPathFn "%1 aura %2 ke biicha ke pathasamuuha") | relations-hindi.txt 160-160 | |
(format ro GraphPathFn "set%t{mulþimea} drumurilor între %1 ºi %2") | relations-ro.kif 489-489 | |
(format sv GraphPathFn "mängden av vägar mellan %1 och %2") | relations-sv.txt 537-537 | |
(format tg GraphPathFn "ang pangkat sa landas sa gitnang %1 at %2") | relations-tg.txt 247-247 | |
(termFormat ChineseLanguage GraphPathFn "图形路径") | domainEnglishFormat.kif 26466-26466 | |
(termFormat ChineseLanguage GraphPathFn "图路函数") | chinese_format.kif 776-776 | |
(termFormat ChineseTraditionalLanguage GraphPathFn "圖形路徑") | domainEnglishFormat.kif 26465-26465 | |
(termFormat EnglishLanguage GraphPathFn "graph path") | domainEnglishFormat.kif 26464-26464 |
antecedent |
consequent |