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

Formal Language: 



KB Term:  Term intersection
English Word: 

  CutSetFn

Sigma KEE - CutSetFn
CutSetFn

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


(documentation CutSetFn ChineseLanguage "这是一个 UnaryFunction,在要切开一个 Graph 的时候, 它会给这个图分配把它划分为两的 GraphPath Class。 同一个图可以有多种分割的组合。") chinese_format.kif 2378-2379
(documentation CutSetFn EnglishLanguage "A UnaryFunction that assigns a Graph the Class of GraphPaths that partition the graph into two separate graphs if cut. There may be more than one cutset for a given graph.") Merge.kif 5978-5980
(domain CutSetFn 1 Graph) Merge.kif 5975-5975
(instance CutSetFn UnaryFunction) Merge.kif 5974-5974
(rangeSubclass CutSetFn GraphPath) Merge.kif 5976-5976

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


(format ChineseLanguage CutSetFn "把 %1 分成另外两个图的路径 Set") chinese_format.kif 777-777
(format EnglishLanguage CutSetFn "the set of paths that partition %1 into two separate graphs") english_format.kif 777-777
(relatedInternalConcept MinimalCutSetFn CutSetFn) Merge.kif 5985-5985
(termFormat ChineseLanguage CutSetFn "分图路径函数") chinese_format.kif 778-778
(termFormat ChineseLanguage CutSetFn "切集") domainEnglishFormat.kif 18213-18213
(termFormat ChineseTraditionalLanguage CutSetFn "切集") domainEnglishFormat.kif 18212-18212
(termFormat EnglishLanguage CutSetFn "cut set") domainEnglishFormat.kif 18211-18211

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


(=>
    (instance ?GRAPH Graph)
    (subclass
        (MinimalCutSetFn ?GRAPH)
        (CutSetFn ?GRAPH)))
Merge.kif 5991-5993

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 6003-6010


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