MinimalCutSetFn |
appearance as argument number 1 |
appearance as argument number 2 |
(format ChineseLanguage MinimalCutSetFn "把 %1 分成另外两个图的最短路径 Set") | chinese_format.kif 779-779 | |
(format EnglishLanguage MinimalCutSetFn "the set of minimal paths that partition %1 into two separate graphs") | english_format.kif 779-779 | |
(format FrenchLanguage MinimalCutSetFn "l' ensemble minimal de chemins qui partitionnent %1 en deux graph s�par�") | french_format.kif 469-469 | |
(format ItalianLanguage MinimalCutSetFn "l' insieme di cammini minimi che partiziona %1in due separati grafi") | relations-it.txt 189-189 | |
(format JapaneseLanguage MinimalCutSetFn "%1 を2つの別々のグラフに分割する最小パスの set") | japanese_format.kif 2173-2173 | |
(format PortugueseLanguage MinimalCutSetFn "o conjunto minimal de caminhos que dividem %1 em dois grafos distintos") | portuguese_format.kif 421-421 | |
(format de MinimalCutSetFn "die menge von minimalen Pfaden die %1 in zwei verschiedene Graphen schnitten") | relations-de.txt 1009-1009 | |
(format hi MinimalCutSetFn "vaha nimnatama pathasamuuha jo %1 ko do alaga-alaga graaphon men vibhaajita karataa hai") | relations-hindi.txt 227-227 | |
(format ro MinimalCutSetFn "set%t{mulþimea} drumurilor minimale care partiþioneazã %1 în douã grafuri separate") | relations-ro.kif 491-491 | |
(format sv MinimalCutSetFn "minimala mängden av vägar some partitionerar %1 i två separata grafer") | relations-sv.txt 539-539 | |
(termFormat ChineseLanguage MinimalCutSetFn "分最短图路径函数") | chinese_format.kif 780-780 | |
(termFormat ChineseLanguage MinimalCutSetFn "最小割集") | domainEnglishFormat.kif 37865-37865 | |
(termFormat ChineseTraditionalLanguage MinimalCutSetFn "最小割集") | domainEnglishFormat.kif 37864-37864 | |
(termFormat EnglishLanguage MinimalCutSetFn "minimal cut set") | domainEnglishFormat.kif 37863-37863 |
antecedent |
(=> (equal (MinimalCutSetFn ?GRAPH) ?PATHCLASS) (exists (?NUMBER) (forall (?PATH) (=> (instance ?PATH ?PATHCLASS) (pathLength ?PATH ?NUMBER))))) |
Merge.kif 6091-6097 |
|
consequent |
(=> (instance ?GRAPH Graph) (subclass (MinimalCutSetFn ?GRAPH) (CutSetFn ?GRAPH))) |
Merge.kif 6087-6089 |
statement |
(not (exists (?PATH1 ?PATH2) (and (instance ?PATH1 (CutSetFn ?GRAPH)) (instance ?PATH2 (MinimalCutSetFn ?GRAPH)) (pathLength ?PATH1 ?NUMBER1) (pathLength ?PATH2 ?NUMBER2) (lessThan ?NUMBER1 ?NUMBER2)))) |
Merge.kif 6099-6106 | Chemin du graph chemin du graph chemin du graph est une instance de l' ensemble de chemins qui partitionnent graph en deux graph s�par� chemin du graph est une instance de l' ensemble minimal de chemins qui partitionnent graph en deux graph s�par� la longueur de chemin du graph est nombre entier positif la longueur de chemin du graph est nombre entier positif nombre entier positif est moins que nombre entier positif |