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 5865-5867
(domain arcWeight 1 GraphArc) Merge.kif 5862-5862 弧衡量 的 1 数量 是 图弧instance
(domain arcWeight 2 RealNumber) Merge.kif 5863-5863 弧衡量 的 2 数量 是 实数instance
(instance arcWeight BinaryPredicate) Merge.kif 5860-5860 弧衡量二元谓语instance
(instance arcWeight SingleValuedRelation) Merge.kif 5861-5861 弧衡量单值关系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
(termFormat ChineseLanguage arcWeight "弧衡量") chinese_format.kif 756-756
(termFormat ChineseLanguage arcWeight "弧重") domainEnglishFormat.kif 8289-8289
(termFormat ChineseTraditionalLanguage arcWeight "弧重") domainEnglishFormat.kif 8288-8288
(termFormat EnglishLanguage arcWeight "arc weight") domainEnglishFormat.kif 8287-8287

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 5891-5904
(=>
    (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 5877-5889
(=>
    (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 6069-6080


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