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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - MinimalCutSetFn
MinimalCutSetFn

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


(documentation MinimalCutSetFn ChineseLanguage "这是一个 UnaryFunction,它以最少条 GraphArc 把一个 Graph 划分的分割组合,给这个 Graph 分配 GraphPath Class。") Merge.kif 8733-8734
(documentation MinimalCutSetFn EnglishLanguage "A UnaryFunction that assigns a Graph the Class of GraphPaths which comprise cutsets for the Graph and which have the least number of GraphArcs.") Merge.kif 8729-8731
(documentation MinimalCutSetFn JapaneseLanguage "UnaryFunction は、Graph のカットセット を構成し、GraphArc の数が最も少ない GraphPathGraph Class を割り当てる。") Merge.kif 8736-8737
(domain MinimalCutSetFn 1 Graph) Merge.kif 8725-8725
(instance MinimalCutSetFn UnaryFunction) Merge.kif 8724-8724
(rangeSubclass MinimalCutSetFn GraphPath) Merge.kif 8726-8726
(relatedInternalConcept MinimalCutSetFn CutSetFn) Merge.kif 8727-8727

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


(format ChineseLanguage MinimalCutSetFn "把 %1 分成另外两个图的最短路径 Set") chinese_format.kif 779-779
(format EnglishLanguage MinimalCutSetFn "the set of minimal paths that partition %1 into two separate graphs") english_format.kif 1080-1080
(format JapaneseLanguage MinimalCutSetFn "%1 を2つの別々のグラフに分割する最小パスの set") english_format.kif 1081-1081
(termFormat ChineseLanguage MinimalCutSetFn "分最短图路径函数") chinese_format.kif 780-780
(termFormat ChineseLanguage MinimalCutSetFn "最小割集") domainEnglishFormat.kif 37789-37789
(termFormat ChineseTraditionalLanguage MinimalCutSetFn "最小割集") domainEnglishFormat.kif 37788-37788
(termFormat EnglishLanguage MinimalCutSetFn "minimal cut set") domainEnglishFormat.kif 37787-37787

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


(=>
    (equal
        (MinimalCutSetFn ?GRAPH) ?PATHCLASS)
    (exists (?NUMBER)
        (forall (?PATH)
            (=>
                (instance ?PATH ?PATHCLASS)
                (pathLength ?PATH ?NUMBER)))))
Merge.kif 8743-8749

consequent
-------------------------


(=>
    (instance ?GRAPH Graph)
    (subclass
        (MinimalCutSetFn ?GRAPH)
        (CutSetFn ?GRAPH)))
Merge.kif 8739-8741

statement
-------------------------


(not
    (exists (?PATH1 ?PATH2)
        (and
            (instance ?PATH1
                (CutSetFn ?GRAPH))
            (instance ?PATH2
                (MinimalCutSetFn ?GRAPH))
            (pathLength ?PATH1 ?NUMBER1)
            (pathLength ?PATH2 ?NUMBER2)
            (lessThan ?NUMBER1 ?NUMBER2))))
Merge.kif 8751-8758


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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners