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
PathWeightFn
Sigma KEE - PathWeightFn
PathWeightFn
appearance as argument number 1
(
documentation
PathWeightFn
ChineseLanguage
"这是一个
UnaryFunction
, 它把一个
GraphPath
联系到在这条
GraphPath
GraphArc
s 上的
arcWeight
总和。")
chinese_format.kif 2370-2371
(
documentation
PathWeightFn
EnglishLanguage
"A
UnaryFunction
that maps a
GraphPath
to the sum of the
arcWeight
s on the
GraphArc
s in the
GraphPath
.")
Merge.kif 5975-5977
(
documentation
PathWeightFn
JapaneseLanguage
"
UnaryFunction
は、
GraphPath
を
GraphPath
内にある
GraphArc
s 上の
arcWeight
s の合計にマップする。")
japanese_format.kif 1047-1048
(
domain
PathWeightFn
1
GraphPath
)
Merge.kif 5972-5972
Die Zahl 1 Argument von
PathWeightFn
ist ein
fall
von
GraphPath
%n{nicht}
(
instance
PathWeightFn
UnaryFunction
)
Merge.kif 5971-5971
PathWeightFn
ist ein
fall
von
UnaryFunction
%n{nicht}
(
range
PathWeightFn
RealNumber
)
Merge.kif 5973-5973
bildbereich
von
PathWeightFn
ist ein fall von
RealNumber
{nicht}
appearance as argument number 2
(
format
ChineseLanguage
PathWeightFn
"%1 的值")
chinese_format.kif 769-769
(
format
EnglishLanguage
PathWeightFn
"the value of %1")
english_format.kif 769-769
(
format
FrenchLanguage
PathWeightFn
"la valeur de %1")
french_format.kif 464-464
(
format
ItalianLanguage
PathWeightFn
"il valore di %1")
relations-it.txt 218-218
(
format
JapaneseLanguage
PathWeightFn
"%1 の value")
japanese_format.kif 2168-2168
(
format
PortugueseLanguage
PathWeightFn
"o valor de %1")
portuguese_format.kif 416-416
(
format
de
PathWeightFn
"der wert von %1")
relations-de.txt 994-994
(
format
hi
PathWeightFn
"%1 kaa maana")
relations-hindi.txt 256-256
(
format
ro
PathWeightFn
"value%t{valoarea} lui %1")
relations-ro.kif 486-486
(
format
sv
PathWeightFn
"värdet av %1")
relations-sv.txt 532-532
(
format
tg
PathWeightFn
"ang bale ng %1")
relations-tg.txt 410-410
(
termFormat
ChineseLanguage
PathWeightFn
"路径衡量函数")
chinese_format.kif 770-770
(
termFormat
ChineseLanguage
PathWeightFn
"路径重量")
domainEnglishFormat.kif 44790-44790
(
termFormat
ChineseTraditionalLanguage
PathWeightFn
"路徑重量")
domainEnglishFormat.kif 44789-44789
(
termFormat
EnglishLanguage
PathWeightFn
"path weight")
domainEnglishFormat.kif 44788-44788
antecedent
(=>
(
and
(
equal
(
MaximalWeightedPathFn
?NODE1 ?NODE2) ?PATH)
(
equal
(
PathWeightFn
?PATH) ?NUMBER1)
(
instance
?PATH2
(
GraphPathFn
?NODE1 ?NODE2))
(
equal
(
PathWeightFn
?PATH2) ?NUMBER2))
(
lessThanOrEqualTo
?NUMBER2 ?NUMBER1))
Merge.kif 6044-6050
Wenn der Pfad der hoechsten Kosten zwischen
GraphNode
und
** GraphNode
ist gleich
GraphPath
%n{nicht} und der
wert
von
** GraphPath
ist gleich
RealNumber
%n{nicht} und
** GraphPath
2 ist ein
fall
von die
menge
von Pfaden zwischen
** GraphNode
und
** ** GraphNode
%n{nicht} und der
wert
von
** GraphPath
2 ist gleich
** RealNumber
%n{nicht},
dann
** ** RealNumber
ist
kleinerAlsOderGleich
** RealNumber
%n{nicht}
(=>
(
and
(
equal
(
MinimalWeightedPathFn
?NODE1 ?NODE2) ?PATH)
(
equal
(
PathWeightFn
?PATH) ?NUMBER1)
(
instance
?PATH2
(
GraphPathFn
?NODE1 ?NODE2))
(
equal
(
PathWeightFn
?PATH2) ?NUMBER2))
(
greaterThanOrEqualTo
?NUMBER2 ?NUMBER1))
Merge.kif 6022-6028
Wenn der Pfad der niedrigsten Kosten zwischen
GraphNode
und
** GraphNode
ist gleich
GraphPath
%n{nicht} und der
wert
von
** GraphPath
ist gleich
RealNumber
%n{nicht} und
** GraphPath
2 ist ein
fall
von die
menge
von Pfaden zwischen
** GraphNode
und
** ** GraphNode
%n{nicht} und der
wert
von
** GraphPath
2 ist gleich
** RealNumber
%n{nicht},
dann
** ** RealNumber
ist
groesserAlsOderGleich
** RealNumber
%n{nicht}
(=>
(
and
(
equal
(
PathWeightFn
?PATH) ?SUM)
(
graphPart
?ARC1 ?PATH)
(
graphPart
?ARC2 ?PATH)
(
arcWeight
?ARC1 ?NUMBER1)
(
arcWeight
?ARC2 ?NUMBER2)
(
forall
(?ARC3)
(=>
(
graphPart
?ARC3 ?PATH)
(
or
(
equal
?ARC3 ?ARC1)
(
equal
?ARC3 ?ARC2)))))
(
equal
(
PathWeightFn
?PATH)
(
AdditionFn
?NUMBER1 ?NUMBER2)))
Merge.kif 5993-6006
Wenn der
wert
von
GraphPath
ist gleich
RealNumber
%n{nicht} und
GraphArc
ist ein
teil
von
** GraphPath
%n{nicht} und
** GraphArc
ist ein
teil
von
** GraphPath
%n{nicht} und der
wert
von
** GraphArc
ist
** RealNumber
und der
wert
von
** ** GraphArc
ist
** RealNumber
und fuer alle
GraphElement
wenn
** GraphElement
ist ein
teil
von
** GraphPath
%n{nicht},
dann
** GraphElement
ist gleich
** GraphArc
%n{nicht} oder
** GraphElement
ist gleich
** ** GraphArc
%n{nicht}
,
dann der
wert
von
** GraphPath
ist gleich (
** ** RealNumber
und
** ** RealNumber
) %n{nicht}
(=>
(
and
(
equal
(
PathWeightFn
?PATH) ?SUM)
(
subGraph
?SUBPATH ?PATH)
(
graphPart
?ARC1 ?PATH)
(
arcWeight
?ARC1 ?NUMBER1)
(
forall
(?ARC2)
(=>
(
graphPart
?ARC2 ?PATH)
(
or
(
graphPart
?ARC2 ?SUBPATH)
(
equal
?ARC2 ?ARC1)))))
(
equal
?SUM
(
AdditionFn
(
PathWeightFn
?SUBPATH) ?NUMBER1)))
Merge.kif 5979-5991
Wenn der
wert
von
GraphPath
ist gleich
RealNumber
%n{nicht} und
** GraphPath
ist ein
teilgraph
von
** GraphPath
%n{nicht} und
GraphArc
ist ein
teil
von
** GraphPath
%n{nicht} und der
wert
von
** GraphArc
ist
** RealNumber
und fuer alle
GraphElement
wenn
** GraphElement
ist ein
teil
von
** GraphPath
%n{nicht},
dann
** GraphElement
ist ein
teil
von
** ** GraphPath
%n{nicht} oder
** GraphElement
ist gleich
** GraphArc
%n{nicht}
,
dann
** RealNumber
ist gleich (der
wert
von
** ** GraphPath
und
** ** RealNumber
) %n{nicht}
consequent
(=>
(
and
(
equal
(
PathWeightFn
?PATH) ?SUM)
(
graphPart
?ARC1 ?PATH)
(
graphPart
?ARC2 ?PATH)
(
arcWeight
?ARC1 ?NUMBER1)
(
arcWeight
?ARC2 ?NUMBER2)
(
forall
(?ARC3)
(=>
(
graphPart
?ARC3 ?PATH)
(
or
(
equal
?ARC3 ?ARC1)
(
equal
?ARC3 ?ARC2)))))
(
equal
(
PathWeightFn
?PATH)
(
AdditionFn
?NUMBER1 ?NUMBER2)))
Merge.kif 5993-6006
Wenn der
wert
von
GraphPath
ist gleich
RealNumber
%n{nicht} und
GraphArc
ist ein
teil
von
** GraphPath
%n{nicht} und
** GraphArc
ist ein
teil
von
** GraphPath
%n{nicht} und der
wert
von
** GraphArc
ist
** RealNumber
und der
wert
von
** ** GraphArc
ist
** RealNumber
und fuer alle
GraphElement
wenn
** GraphElement
ist ein
teil
von
** GraphPath
%n{nicht},
dann
** GraphElement
ist gleich
** GraphArc
%n{nicht} oder
** GraphElement
ist gleich
** ** GraphArc
%n{nicht}
,
dann der
wert
von
** GraphPath
ist gleich (
** ** RealNumber
und
** ** RealNumber
) %n{nicht}
(=>
(
and
(
equal
(
PathWeightFn
?PATH) ?SUM)
(
subGraph
?SUBPATH ?PATH)
(
graphPart
?ARC1 ?PATH)
(
arcWeight
?ARC1 ?NUMBER1)
(
forall
(?ARC2)
(=>
(
graphPart
?ARC2 ?PATH)
(
or
(
graphPart
?ARC2 ?SUBPATH)
(
equal
?ARC2 ?ARC1)))))
(
equal
?SUM
(
AdditionFn
(
PathWeightFn
?SUBPATH) ?NUMBER1)))
Merge.kif 5979-5991
Wenn der
wert
von
GraphPath
ist gleich
RealNumber
%n{nicht} und
** GraphPath
ist ein
teilgraph
von
** GraphPath
%n{nicht} und
GraphArc
ist ein
teil
von
** GraphPath
%n{nicht} und der
wert
von
** GraphArc
ist
** RealNumber
und fuer alle
GraphElement
wenn
** GraphElement
ist ein
teil
von
** GraphPath
%n{nicht},
dann
** GraphElement
ist ein
teil
von
** ** GraphPath
%n{nicht} oder
** GraphElement
ist gleich
** GraphArc
%n{nicht}
,
dann
** RealNumber
ist gleich (der
wert
von
** ** GraphPath
und
** ** RealNumber
) %n{nicht}
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