Browsing Interface
: Welcome guest :
log in
[
Home
| 
Graph
|  ]
KB:
SUMO
Language:
ChineseLanguage
ChinesePinyinWriting
ChineseSimplifiedWriting
ChineseTraditionalLanguage
EnglishLanguage
FrenchLanguage
GermanLanguage
Hindi
ItalianLanguage
JapaneseLanguage
PortugueseLanguage
SpanishLanguage
SwedishLanguage
cb
cz
de
hi
ro
sv
tg
Formal Language:
OWL
SUO-KIF
TPTP
traditionalLogic
KB Term:
Term intersection
English Word:
Any
Noun
Verb
Adjective
Adverb
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
GraphPath
s that partition the graph into two separate graphs if cut. There may be more than one cutset for a given graph.")
Merge.kif 6099-6101
(
documentation
CutSetFn
JapaneseLanguage
"
UnaryFunction
は、切り取るとグラフを2つの別々の グラフに分割する
GraphPath
の
Class
の
Graph
を割り当てる。特定のグラフに複数のカットセット がある場合がある。")
japanese_format.kif 1056-1058
(
domain
CutSetFn
1
Graph
)
Merge.kif 6096-6096
分图路径函数
的 1 数量 是
图
的
instance
(
instance
CutSetFn
UnaryFunction
)
Merge.kif 6095-6095
分图路径函数
是
一元函数
的
instance
(
rangeSubclass
CutSetFn
GraphPath
)
Merge.kif 6097-6097
分图路径函数
的所得值 是
图路径
的
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 777-777
(
format
FrenchLanguage
CutSetFn
"l' ensemble de chemins qui partitionnent %1 en deux graph s�par�")
french_format.kif 468-468
(
format
ItalianLanguage
CutSetFn
"l' insieme di cammini che partiziona %1 in due grafi separati")
relations-it.txt 63-63
(
format
JapaneseLanguage
CutSetFn
"%1 を2つの別々のグラフに分割するパスの set")
japanese_format.kif 2172-2172
(
format
PortugueseLanguage
CutSetFn
"o conjunto de caminhos que dividem %1 em dois grafos distintos")
portuguese_format.kif 420-420
(
format
de
CutSetFn
"die menge von Pfaden die %1 in zwei verschiedene Graphen schnitten")
relations-de.txt 1006-1006
(
format
hi
CutSetFn
"vaha
path
asamuuha jo %1 ko vibhaajita karake do alaga-alaga graapha banaataa hai")
relations-hindi.txt 104-104
(
format
ro
CutSetFn
"set%t{mulþimea} drumurilor care partiþioneazã %1 în douã grafuri separate")
relations-ro.kif 490-490
(
format
sv
CutSetFn
"mängden av vägar som
partition
erar %1 i två separata grafer")
relations-sv.txt 538-538
(
format
tg
CutSetFn
"ang pulutong sa ang mga pinagdaraanan ng nagbabahagi %1 sa dalawang bukod na talaguhitan")
relations-tg.txt 142-142
(
format
tg
CutSetFn
"ang spulutong sa ang mga pinagdaraanan ng nagbabahagi %1 sa dalawang bukod na talaguhitan")
relations-cb.txt 97-97
(
relatedInternalConcept
MinimalCutSetFn
CutSetFn
)
Merge.kif 6106-6106
分最短图路径函数
和
分图路径函数
是 内部相关
(
termFormat
ChineseLanguage
CutSetFn
"分图路径函数")
chinese_format.kif 778-778
分最短图路径函数
和
分图路径函数
是 内部相关
(
termFormat
ChineseLanguage
CutSetFn
"切集")
domainEnglishFormat.kif 18231-18231
分最短图路径函数
和
分图路径函数
是 内部相关
(
termFormat
ChineseTraditionalLanguage
CutSetFn
"切集")
domainEnglishFormat.kif 18230-18230
分最短图路径函数
和
分图路径函数
是 内部相关
(
termFormat
EnglishLanguage
CutSetFn
"cut set")
domainEnglishFormat.kif 18229-18229
分最短图路径函数
和
分图路径函数
是 内部相关
(
termFormat
de
CutSetFn
"SchnittMengeFn")
terms-de.txt 308-308
分最短图路径函数
和
分图路径函数
是 内部相关
(
termFormat
tg
CutSetFn
"tungkulin pulutong sa ang mga pinagdaraanan ng nagbabahagi")
relations-tg.txt 143-143
分最短图路径函数
和
分图路径函数
是 内部相关
consequent
(=>
(
instance
?GRAPH
Graph
)
(
subclass
(
MinimalCutSetFn
?GRAPH)
(
CutSetFn
?GRAPH)))
Merge.kif 6112-6114
如果
图
是
图
的
instance
,
然后 把
那个 图
分成另外两个图的最短路径
Set
是 把
那个 图
分成另外两个图的路径
Set
的
subclass
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 6124-6131
不存在
图路径
和
另一个 图路径
这样
那个 图路径
是 把
图
分成另外两个图的路径
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 3.0 is
open source software
produced by
Articulate Software
and its partners