| 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 5441-5444 | |
| (domain pathLength 1 GraphPath) | Merge.kif 5438-5438 | domain pathLength, 1 and GraphPath |
| (domain pathLength 2 PositiveInteger) | Merge.kif 5439-5439 | domain pathLength, 2 and PositiveInteger |
| (instance pathLength AsymmetricRelation) | Merge.kif 5436-5436 | instance pathLength and AsymmetricRelation |
| (instance pathLength BinaryPredicate) | Merge.kif 5435-5435 | instance pathLength and BinaryPredicate |
| (instance pathLength IrreflexiveRelation) | Merge.kif 5437-5437 | instance pathLength and IrreflexiveRelation |
| 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 758-758 | |
| (termFormat ChineseLanguage pathLength "路径长度") | chinese_format.kif 754-754 | termFormat ChineseLanguage, pathLength and "路径长度" |
| (termFormat ChineseTraditionalLanguage pathLength "路徑長度") | domainEnglishFormat.kif 44706-44706 | termFormat ChineseTraditionalLanguage, pathLength and "路徑長度" |
| (termFormat EnglishLanguage pathLength "path length") | domainEnglishFormat.kif 44705-44705 | termFormat EnglishLanguage, pathLength and "path length" |
| consequent |
|
|
| (=> (equal (MinimalCutSetFn ?GRAPH) ?PATHCLASS) (exists (?NUMBER) (forall (?PATH) (=> (instance ?PATH ?PATHCLASS) (pathLength ?PATH ?NUMBER))))) |
Merge.kif 5623-5629 |
| 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 5631-5638 | GraphPath GraphPath instance GraphPath and CutSetFn Graph instance GraphPath and MinimalCutSetFn Graph pathLength GraphPath and PositiveInteger pathLength GraphPath and PositiveInteger lessThan PositiveInteger and PositiveInteger |
|
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