Browsing Interface
: Welcome guest :
log in
[
Home
| 
Graph
|  ]
KB:
SUMO
Language:
ChineseLanguage
ChinesePinyinWriting
ChineseSimplifiedWriting
ChineseTraditionalLanguage
EnglishLanguage
FrenchLanguage
GermanLanguage
HerbaceousPlant
Hindi
ItalianLanguage
JapaneseLanguage
PortugueseLanguage
SpanishLanguage
SwedishLanguage
WoodyPlant
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
MinimalWeightedPathFn
Sigma KEE - MinimalWeightedPathFn
MinimalWeightedPathFn
appearance as argument number 1
(
documentation
MinimalWeightedPathFn
ChineseLanguage
"这是一个
BinaryFunction
,它以两个
GraphNode
之间弧衡量总和的最小值,把两个
GraphNode
分配到
GraphPath
上。")
chinese_format.kif 2372-2373
(
documentation
MinimalWeightedPathFn
EnglishLanguage
"This
BinaryFunction
assigns two
GraphNode
s to the
GraphPath
with the smallest sum of weighted arcs between the two
GraphNode
s.")
Merge.kif 6015-6017
(
documentation
MinimalWeightedPathFn
JapaneseLanguage
"この
BinaryFunction
は、2つの
GraphNode
間の加重円弧の最小合計を持つ2つの
GraphNode
を
GraphPath
に割り当てる。")
japanese_format.kif 1049-1050
(
domain
MinimalWeightedPathFn
1
GraphNode
)
Merge.kif 6011-6011
Il numero 1 argomenti di
MinimalWeightedPathFn
è un
istanza
di
NodoDelGrafo
(
domain
MinimalWeightedPathFn
2
GraphNode
)
Merge.kif 6012-6012
Il numero 2 argomenti di
MinimalWeightedPathFn
è un
istanza
di
NodoDelGrafo
(
instance
MinimalWeightedPathFn
BinaryFunction
)
Merge.kif 6009-6009
MinimalWeightedPathFn
è un'
istanza
di
FunzioneBinaria
(
instance
MinimalWeightedPathFn
TotalValuedRelation
)
Merge.kif 6010-6010
MinimalWeightedPathFn
è un'
istanza
di
RelazioneAValoreTotale
(
range
MinimalWeightedPathFn
GraphPath
)
Merge.kif 6013-6013
rango
di
MinimalWeightedPathFn
è un'istanza di
CamminoDelGrafo
appearance as argument number 2
(
format
ChineseLanguage
MinimalWeightedPathFn
"%1 和 %2 间的最低成本路径")
chinese_format.kif 771-771
(
format
EnglishLanguage
MinimalWeightedPathFn
"the lowest cost
path
between %1 and %2")
english_format.kif 771-771
(
format
FrenchLanguage
MinimalWeightedPathFn
"le plus petit chemin entre %1 et %2")
french_format.kif 465-465
(
format
ItalianLanguage
MinimalWeightedPathFn
"il cammino col minor costo tra %1 e %2")
relations-it.txt 190-190
(
format
JapaneseLanguage
MinimalWeightedPathFn
"%1 と %2 間の lowest cost
path
")
japanese_format.kif 2169-2169
(
format
PortugueseLanguage
MinimalWeightedPathFn
"o menor caminho entre %1 e %2")
portuguese_format.kif 417-417
(
format
de
MinimalWeightedPathFn
"der Pfad der niedrigsten Kosten zwischen %1 und %2")
relations-de.txt 997-997
(
format
hi
MinimalWeightedPathFn
"%1 aura %2 ke biicha men nimnatama muulya patha")
relations-hindi.txt 228-228
(
format
ro
MinimalWeightedPathFn
"
path
%t{drumul} de cost%t{cost} lowest%t{minim} între %1 ºi %2")
relations-ro.kif 487-487
(
format
sv
MinimalWeightedPathFn
"den minsta kostsamma vägen mellan %1 och %2")
relations-sv.txt 533-533
(
format
tg
MinimalWeightedPathFn
"ang
pin
aka halaga landas sa pagitan ng %1 at %2")
relations-tg.txt 367-367
(
termFormat
ChineseLanguage
MinimalWeightedPathFn
"最低加权路径函数")
chinese_format.kif 772-772
(
termFormat
ChineseLanguage
MinimalWeightedPathFn
"最小加权路径")
domainEnglishFormat.kif 37871-37871
(
termFormat
ChineseTraditionalLanguage
MinimalWeightedPathFn
"最小加權路徑")
domainEnglishFormat.kif 37870-37870
(
termFormat
EnglishLanguage
MinimalWeightedPathFn
"minimal weighted path")
domainEnglishFormat.kif 37869-37869
antecedent
(=>
(
and
(
equal
(
MinimalWeightedPathFn
?NODE1 ?NODE2) ?PATH)
(
equal
(
PathWeightFn
?PATH) ?NUMBER1)
(
instance
?PATH2
(
GraphPathFn
?NODE1 ?NODE2))
(
equal
(
PathWeightFn
?PATH2) ?NUMBER2))
(
greaterThanOrEqualTo
?NUMBER2 ?NUMBER1))
Merge.kif 6023-6029
Il
cammino
col minor costo tra
NodoDelGrafo
e
NodoDelGrafo
is
uguale
a
CamminoDelGrafo
il
valore
di
CamminoDelGrafo
is
uguale
a
NumeroReale
CamminoDelGrafo
2 è un'
istanza
di l'
insieme
di cammini tra
NodoDelGrafo
e
NodoDelGrafo
il
valore
di
CamminoDelGrafo
2 is
uguale
a
NumeroReale
NumeroReale
è
pi
ù grande di o uguale a
NumeroReale
(=>
(
equal
(
MinimalWeightedPathFn
?NODE1 ?NODE2) ?PATH)
(
instance
?PATH
(
GraphPathFn
?NODE1 ?NODE2)))
Merge.kif 6019-6021
Il
cammino
col minor costo tra
NodoDelGrafo
e
NodoDelGrafo
is
uguale
a
CamminoDelGrafo
CamminoDelGrafo
è un'
istanza
di l'
insieme
di cammini tra
NodoDelGrafo
e
NodoDelGrafo
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