| appearance as argument number 1 |
|
| (documentation PathWeightFn ChineseLanguage "这是一个 UnaryFunction， 它把一个 GraphPath 联系到在这条 GraphPath GraphArcs 上的 arcWeight 总和。") | chinese_format.kif 2370-2371 | |
| (documentation PathWeightFn EnglishLanguage "A UnaryFunction that maps a GraphPath to the sum of the arcWeights on the GraphArcs in the GraphPath.") | Merge.kif 5961-5963 | |
| (documentation PathWeightFn JapaneseLanguage "UnaryFunction は、GraphPath を GraphPath 内にある GraphArcs 上の arcWeights の合計にマップする。") | japanese_format.kif 1047-1048 | |
| (domain PathWeightFn 1 GraphPath) | Merge.kif 5958-5958 | PathWeightFn の数値 1 引数は グラフパス の instance では %n |
| (instance PathWeightFn UnaryFunction) | Merge.kif 5957-5957 | PathWeightFn は 1変数関数 の instance では %n |
| (range PathWeightFn RealNumber) | Merge.kif 5959-5959 | PathWeightFn の range は 実数 のインスタンス では %n |
| appearance as argument number 2 |
|
|
| (format ChineseLanguage PathWeightFn "%1 的值") | chinese_format.kif 769-769 | |
| (format EnglishLanguage PathWeightFn "the value of %1") | english_format.kif 769-769 | |
| (format FrenchLanguage PathWeightFn "la valeur de %1") | french_format.kif 464-464 | |
| (format ItalianLanguage PathWeightFn "il valore di %1") | relations-it.txt 218-218 | |
| (format JapaneseLanguage PathWeightFn "%1 の value") | japanese_format.kif 2168-2168 | |
| (format PortugueseLanguage PathWeightFn "o valor de %1") | portuguese_format.kif 416-416 | |
| (format de PathWeightFn "der wert von %1") | relations-de.txt 994-994 | |
| (format hi PathWeightFn "%1 kaa maana") | relations-hindi.txt 256-256 | |
| (format ro PathWeightFn "value%t{valoarea} lui %1") | relations-ro.kif 486-486 | |
| (format sv PathWeightFn "värdet av %1") | relations-sv.txt 537-537 | |
| (format tg PathWeightFn "ang bale ng %1") | relations-tg.txt 410-410 | |
| (termFormat ChineseLanguage PathWeightFn "路径衡量函数") | chinese_format.kif 770-770 | |
| (termFormat ChineseLanguage PathWeightFn "路径重量") | domainEnglishFormat.kif 44802-44802 | |
| (termFormat ChineseTraditionalLanguage PathWeightFn "路徑重量") | domainEnglishFormat.kif 44801-44801 | |
| (termFormat EnglishLanguage PathWeightFn "path weight") | domainEnglishFormat.kif 44800-44800 |
| antecedent |
|
|
| (=> (and (equal (MaximalWeightedPathFn ?NODE1 ?NODE2) ?PATH) (equal (PathWeightFn ?PATH) ?NUMBER1) (instance ?PATH2 (GraphPathFn ?NODE1 ?NODE2)) (equal (PathWeightFn ?PATH2) ?NUMBER2)) (lessThanOrEqualTo ?NUMBER2 ?NUMBER1)) |
Merge.kif 6030-6036 | |
| (=> (and (equal (MinimalWeightedPathFn ?NODE1 ?NODE2) ?PATH) (equal (PathWeightFn ?PATH) ?NUMBER1) (instance ?PATH2 (GraphPathFn ?NODE1 ?NODE2)) (equal (PathWeightFn ?PATH2) ?NUMBER2)) (greaterThanOrEqualTo ?NUMBER2 ?NUMBER1)) |
Merge.kif 6008-6014 | |
| (=> (and (equal (PathWeightFn ?PATH) ?SUM) (graphPart ?ARC1 ?PATH) (graphPart ?ARC2 ?PATH) (arcWeight ?ARC1 ?NUMBER1) (arcWeight ?ARC2 ?NUMBER2) (forall (?ARC3) (=> (graphPart ?ARC3 ?PATH) (or (equal ?ARC3 ?ARC1) (equal ?ARC3 ?ARC2))))) (equal (PathWeightFn ?PATH) (AdditionFn ?NUMBER1 ?NUMBER2))) |
Merge.kif 5979-5992 | |
| (=> (and (equal (PathWeightFn ?PATH) ?SUM) (subGraph ?SUBPATH ?PATH) (graphPart ?ARC1 ?PATH) (arcWeight ?ARC1 ?NUMBER1) (forall (?ARC2) (=> (graphPart ?ARC2 ?PATH) (or (graphPart ?ARC2 ?SUBPATH) (equal ?ARC2 ?ARC1))))) (equal ?SUM (AdditionFn (PathWeightFn ?SUBPATH) ?NUMBER1))) |
Merge.kif 5965-5977 |
| consequent |
|
|
| (=> (and (equal (PathWeightFn ?PATH) ?SUM) (graphPart ?ARC1 ?PATH) (graphPart ?ARC2 ?PATH) (arcWeight ?ARC1 ?NUMBER1) (arcWeight ?ARC2 ?NUMBER2) (forall (?ARC3) (=> (graphPart ?ARC3 ?PATH) (or (equal ?ARC3 ?ARC1) (equal ?ARC3 ?ARC2))))) (equal (PathWeightFn ?PATH) (AdditionFn ?NUMBER1 ?NUMBER2))) |
Merge.kif 5979-5992 | |
| (=> (and (equal (PathWeightFn ?PATH) ?SUM) (subGraph ?SUBPATH ?PATH) (graphPart ?ARC1 ?PATH) (arcWeight ?ARC1 ?NUMBER1) (forall (?ARC2) (=> (graphPart ?ARC2 ?PATH) (or (graphPart ?ARC2 ?SUBPATH) (equal ?ARC2 ?ARC1))))) (equal ?SUM (AdditionFn (PathWeightFn ?SUBPATH) ?NUMBER1))) |
Merge.kif 5965-5977 |
|
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