| appearance as argument number 1 |
|
| (documentation GraphPathFn ChineseLanguage "这是一个 BinaryFunction，它把两个GraphNode 联系到这两个节点之间的 GraphPath Class。注：这两个 GraphNode 必须属于同一个 Graph。") | chinese_format.kif 2376-2377 | |
| (documentation GraphPathFn EnglishLanguage "A BinaryFunction that maps two GraphNodes to the Class of GraphPaths between those two nodes. Note that the two GraphNodes must belong to the same Graph.") | Merge.kif 5962-5964 | |
| (domain GraphPathFn 1 GraphNode) | Merge.kif 5958-5958 | 图路函数 的 1 数量 是 图节点 的 instance |
| (domain GraphPathFn 2 GraphNode) | Merge.kif 5959-5959 | 图路函数 的 2 数量 是 图节点 的 instance |
| (instance GraphPathFn BinaryFunction) | Merge.kif 5956-5956 | 图路函数 是 二元函数 的 instance |
| (instance GraphPathFn TotalValuedRelation) | Merge.kif 5957-5957 | 图路函数 是 总值关系 的 instance |
| (rangeSubclass GraphPathFn GraphPath) | Merge.kif 5960-5960 | 图路函数 的所得值 是 图路径 的 subclass |
| 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 | |
| (termFormat ChineseLanguage GraphPathFn "图形路径") | domainEnglishFormat.kif 26457-26457 | |
| (termFormat ChineseLanguage GraphPathFn "图路函数") | chinese_format.kif 776-776 | |
| (termFormat ChineseTraditionalLanguage GraphPathFn "圖形路徑") | domainEnglishFormat.kif 26456-26456 | |
| (termFormat EnglishLanguage GraphPathFn "graph path") | domainEnglishFormat.kif 26455-26455 |
| consequent |
|
|
| (=> (and (equal (MaximalWeightedPathFn ?NODE1 ?NODE2) ?PATH) (equal (PathWeightFn ?PATH) ?NUMBER1)) (forall (?PATH2) (=> (and (instance ?PATH2 (GraphPathFn ?NODE1 ?NODE2)) (equal (PathWeightFn ?PATH2) ?NUMBER2)) (lessThanOrEqualTo ?NUMBER2 ?NUMBER1)))) |
Merge.kif 5945-5954 | |
| (=> (and (equal (MinimalWeightedPathFn ?NODE1 ?NODE2) ?PATH) (equal (PathWeightFn ?PATH) ?NUMBER1)) (forall (?PATH2) (=> (and (instance ?PATH2 (GraphPathFn ?NODE1 ?NODE2)) (equal (PathWeightFn ?PATH2) ?NUMBER2)) (greaterThanOrEqualTo ?NUMBER2 ?NUMBER1)))) |
Merge.kif 5920-5929 | |
| (=> (and (graphPart ?PATH ?GRAPH) (not (instance ?GRAPH DirectedGraph))) (<=> (instance ?PATH (GraphPathFn ?NODE1 ?NODE2)) (instance ?PATH (GraphPathFn ?NODE2 ?NODE1)))) |
Merge.kif 5966-5972 | |
| (=> (equal (MaximalWeightedPathFn ?NODE1 ?NODE2) ?PATH) (instance ?PATH (GraphPathFn ?NODE1 ?NODE2))) |
Merge.kif 5941-5943 | |
| (=> (equal (MinimalWeightedPathFn ?NODE1 ?NODE2) ?PATH) (instance ?PATH (GraphPathFn ?NODE1 ?NODE2))) |
Merge.kif 5916-5918 |
|
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