Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

  PathWeightFn

Sigma KEE - PathWeightFn
PathWeightFn

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 5976-5978
(documentation PathWeightFn JapaneseLanguage "UnaryFunction は、GraphPathGraphPath 内にある GraphArcs 上の arcWeights の合計にマップする。") japanese_format.kif 1047-1048
(domain PathWeightFn 1 GraphPath) Merge.kif 5973-5973 O argumento numero 1 de PathWeightFn e' uma instancia de Caminho do Grafo
(instance PathWeightFn UnaryFunction) Merge.kif 5972-5972 PathWeightFn e' uma instancia de funcao Unaria
(range PathWeightFn RealNumber) Merge.kif 5974-5974 O contra-dominio de PathWeightFn e' uma instancia de Numero Real

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 532-532
(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 44792-44792
(termFormat ChineseTraditionalLanguage PathWeightFn "路徑重量") domainEnglishFormat.kif 44791-44791
(termFormat EnglishLanguage PathWeightFn "path weight") domainEnglishFormat.kif 44790-44790

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 6045-6051
(=>
    (and
        (equal
            (MinimalWeightedPathFn ?NODE1 ?NODE2) ?PATH)
        (equal
            (PathWeightFn ?PATH) ?NUMBER1)
        (instance ?PATH2
            (GraphPathFn ?NODE1 ?NODE2))
        (equal
            (PathWeightFn ?PATH2) ?NUMBER2))
    (greaterThanOrEqualTo ?NUMBER2 ?NUMBER1))
Merge.kif 6023-6029
(=>
    (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 5994-6007
(=>
    (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 5980-5992

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 5994-6007
(=>
    (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 5980-5992


Show simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree


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