| appearance as argument number 1 |
|
| (documentation pathLength ChineseLanguage "这是一个 BinaryPredicate，它指定一个 GraphPath 的长度 (以GraphNode 以的数量)，(pathLength ?PATH ?NUMBER)的意思是在 GraphPath ?PATH 上有 ?NUMBER 的节点。") | chinese_format.kif 2353-2355 | |
| (documentation pathLength EnglishLanguage "A BinaryPredicate that specifies the length (in number of GraphNodes) of a GraphPath. (pathLength ?PATH ?NUMBER) means that there are ?NUMBER nodes in the GraphPath ?PATH.") | Merge.kif 5940-5943 | |
| (documentation pathLength JapaneseLanguage "BinaryPredicate は、GraphPath の長さ (GraphNodes 数で) を指定する。 (pathLength ?PATH ?NUMBER)とは、GraphPath ?PATH に ?NUMBER ノードがあることを意味する。") | japanese_format.kif 1030-1032 | |
| (domain pathLength 1 GraphPath) | Merge.kif 5937-5937 | pathLength の数値 1 引数は グラフパス の instance では |
| (domain pathLength 2 PositiveInteger) | Merge.kif 5938-5938 | pathLength の数値 2 引数は 正の整数 の instance では |
| (instance pathLength BinaryPredicate) | Merge.kif 5936-5936 | pathLength は 2進述語 の instance では |
| appearance as argument number 2 |
|
|
| (format ChineseLanguage pathLength "%1 的 length %n 是 %2") | chinese_format.kif 753-753 | |
| (format EnglishLanguage pathLength "the length of %1 is %n %2") | english_format.kif 755-755 | |
| (format FrenchLanguage pathLength "la longueur de %1 est %n %2") | french_format.kif 454-454 | |
| (format ItalianLanguage pathLength "la lunghezza di %1 è %n %2") | relations-it.txt 217-217 | |
| (format JapaneseLanguage pathLength "%1 の length は %2 では %n") | japanese_format.kif 2162-2162 | |
| (format PortugueseLanguage pathLength "o comprimento de %1 e' %n %2") | portuguese_format.kif 406-406 | |
| (format cz pathLength "d�lka %1 %p{je} %n{nen�} %2") | relations-cz.txt 467-467 | |
| (format de pathLength "die laenge von %1 ist %2 %n{nicht}") | relations-de.txt 972-972 | |
| (format hi pathLength "%1 kii lambaaii %2 %n hai") | relations-hindi.txt 255-255 | |
| (format ro pathLength "length%t{lungimea} lui %1 %n{nu} este %2") | relations-ro.kif 476-476 | |
| (format sv pathLength "längden av %1 är %n{inte} %2") | relations-sv.txt 519-519 | |
| (format tg pathLength "ang haba ng %1 %n ay %2") | relations-tg.txt 409-409 | |
| (termFormat ChineseLanguage pathLength "路径长度") | chinese_format.kif 754-754 | |
| (termFormat ChineseTraditionalLanguage pathLength "路徑長度") | domainEnglishFormat.kif 44785-44785 | |
| (termFormat EnglishLanguage pathLength "path length") | domainEnglishFormat.kif 44784-44784 | |
| (termFormat de pathLength "pfadLaenge") | terms-de.txt 298-298 |
| consequent |
|
|
| (=> (equal (MinimalCutSetFn ?GRAPH) ?PATHCLASS) (exists (?NUMBER) (forall (?PATH) (=> (instance ?PATH ?PATHCLASS) (pathLength ?PATH ?NUMBER))))) |
Merge.kif 6116-6122 |
| 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 6124-6131 | グラフパス グラフパス グラフパス は グラフ を2つの別々のグラフに分割するパスの set の instance では グラフパス は グラフ を2つの別々のグラフに分割する最小パスの set の instance では グラフパス の length は 正の整数 では グラフパス の length は 正の整数 では 正の整数 は 正の整数 より less では |
|
Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)
|
|
Sigma web home Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0 is open source software produced by Articulate Software and its partners