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。 同一个图可以有多种分割的组合。") Merge.kif 6205-6206
(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 6202-6204
(domain CutSetFn 1 Graph) Merge.kif 6200-6200 分图路径函数 的 1 数量 是 图 的 instance
(instance CutSetFn UnaryFunction) Merge.kif 6199-6199 分图路径函数 是 一元函数 的 instance
(rangeSubclass CutSetFn GraphPath) Merge.kif 6201-6201 分图路径函数 的所得值 是 图路径 的 subclass

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 479-479
(relatedInternalConcept MinimalCutSetFn CutSetFn) Merge.kif 6211-6211 分最短图路径函数 和 分图路径函数 是 内部相关
(termFormat ChineseLanguage CutSetFn "分图路径函数") chinese_format.kif 778-778 termFormat ChineseLanguage, 分图路径函数 and "分图路径函数"
(termFormat EnglishLanguage CutSetFn "cut set") domainEnglishFormat.kif 3458-3458 termFormat EnglishLanguage, 分图路径函数 and "cut set"

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


(=>
    (instance ?GRAPH Graph)
    (subclass
        (MinimalCutSetFn ?GRAPH)
        (CutSetFn ?GRAPH)))		 Merge.kif 6218-6220

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 6230-6237 不存在 图路径 和 另一个 图路径 这样 那个 图路径 是 把 图 分成另外两个图的路径 Set 的 instance 和 那个 另外 图路径 是 把 那个 图 分成另外两个图的最短路径 Set 的 instance 和 那个 图路径 的 length 是 正整数 和 那个 另外 图路径 的 length 是 另一个 正整数 和 那个 正整数 是 lessThan 那个 另外 正整数


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