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

Formal Language: 


KB Term:  Term intersection
English Word: 

Sigma KEE - arcWeight
arcWeight

appearance as argument number 1
-------------------------


(documentation arcWeight ChineseLanguage "这个谓词表示 GraphArc 在一个 Graph 的值。 这可以 表示一个道路网络的长度,或者是管道系统内管道的流量。") chinese_format.kif 2368-2369
(documentation arcWeight EnglishLanguage "This predicate indicates the value of a GraphArc in a Graph. This could map to the length of a road in a road network or the flow rate of a pipe in a plumbing system.") Merge.kif 5992-5994
(documentation arcWeight JapaneseLanguage "この述部は、GraphGraphArc の値を示す。これ は、ロードネットワーク内のロードの長さ、または配管システムのパイプの流動率にマップできる。") japanese_format.kif 1045-1046
(domain arcWeight 1 GraphArc) Merge.kif 5989-5989 arcWeight の数値 1 引数は グラフアークinstance では
(domain arcWeight 2 RealNumber) Merge.kif 5990-5990 arcWeight の数値 2 引数は 実数instance では
(instance arcWeight BinaryPredicate) Merge.kif 5987-5987 arcWeight2進述語instance では
(instance arcWeight SingleValuedRelation) Merge.kif 5988-5988 arcWeight一価関係instance では

appearance as argument number 2
-------------------------


(format ChineseLanguage arcWeight "%1 的值 %n 是 %2") chinese_format.kif 755-755
(format EnglishLanguage arcWeight "the value of %1 is %n %2") english_format.kif 757-757
(format FrenchLanguage arcWeight "la valeur de %1 est %n %2") french_format.kif 455-455
(format ItalianLanguage arcWeight "il valore di%1 è%2") relations-it.txt 27-27
(format JapaneseLanguage arcWeight "%1 の value は %2 では %n") japanese_format.kif 2163-2163
(format PortugueseLanguage arcWeight "o valor de %1 e' %n %2") portuguese_format.kif 407-407
(format cb arcWeight "ang timbang ani %1 ug %2") relations-cb.txt 61-61
(format de arcWeight "der wert von %1 ist %2") relations-de.txt 975-975
(format hi arcWeight "%1 kaa maana %2 hai") relations-hindi.txt 71-71
(format ro arcWeight "value%t{valoarea} lui %1 %n{nu} este %2") relations-ro.kif 477-477
(format sv arcWeight "värdet av %1 är %2") relations-sv.txt 520-520
(format tg arcWeight "ang halaga ng %1 at %2") relations-tg.txt 70-70
(termFormat ChineseLanguage arcWeight "弧衡量") chinese_format.kif 756-756
(termFormat ChineseLanguage arcWeight "弧重") domainEnglishFormat.kif 8281-8281
(termFormat ChineseTraditionalLanguage arcWeight "弧重") domainEnglishFormat.kif 8280-8280
(termFormat EnglishLanguage arcWeight "arc weight") domainEnglishFormat.kif 8279-8279
(termFormat de arcWeight "arctusGewicht") terms-de.txt 299-299
(termFormat tg arcWeight "halaga ng arko") relations-tg.txt 71-71

antecedent
-------------------------


(=>
    (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 6018-6031
(=>
    (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 6004-6016
(=>
    (and
        (graphMeasure ?G ?M)
        (instance ?AN GraphNode)
        (graphPart ?AN ?G)
        (graphPart ?AA ?G)
        (instance ?AA GraphArc)
        (abstractCounterpart ?AN ?PN)
        (abstractCounterpart ?AA ?PA)
        (arcWeight ?AA ?N))
    (measure ?PA
        (MeasureFn ?N ?M)))
Merge.kif 6190-6201


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