| appearance as argument number 1 |
|
| (documentation pathLength ChineseLanguage "这是一个 BinaryPredicate，它指定一个 GraphPath 的长度 (以GraphNode 以的数量)，(pathLength ?PATH ?NUMBER)的意思是在 GraphPath ?PATH 上有 ?NUMBER 的节点。") | Merge.kif 6026-6028 | |
| (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 6022-6025 | |
| (domain pathLength 1 GraphPath) | Merge.kif 6020-6020 | domain pathLength, 1 and グラフパス |
| (domain pathLength 2 PositiveInteger) | Merge.kif 6021-6021 | domain pathLength, 2 and 正の整数 |
| (instance pathLength AsymmetricRelation) | Merge.kif 6018-6018 | instance pathLength and 非対称関係 |
| (instance pathLength BinaryPredicate) | Merge.kif 6017-6017 | instance pathLength and 2進述語 |
| (instance pathLength IrreflexiveRelation) | Merge.kif 6019-6019 | instance pathLength and 非反射関係 |
| 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 465-465 | |
| (termFormat ChineseLanguage pathLength "路径长度") | chinese_format.kif 754-754 | termFormat ChineseLanguage, pathLength and "路径长度" |
| (termFormat EnglishLanguage pathLength "path length") | domainEnglishFormat.kif 7884-7884 | termFormat EnglishLanguage, pathLength and "path length" |
| consequent |
|
|
| (=> (equal (MinimalCutSetFn ?GRAPH) ?PATHCLASS) (exists (?NUMBER) (forall (?PATH) (=> (instance ?PATH ?PATHCLASS) (pathLength ?PATH ?NUMBER))))) |
Merge.kif 6222-6228 |
| 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 6230-6237 | グラフパス グラフパス instance グラフパス and CutSetFn グラフ instance グラフパス and MinimalCutSetFn グラフ pathLength グラフパス and 正の整数 pathLength グラフパス and 正の整数 lessThan 正の整数 and 正の整数 |
|
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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners