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
GraphPathFn
Sigma KEE - GraphPathFn
GraphPathFn
appearance as argument number 1
(
documentation
GraphPathFn
ChineseLanguage
"这是一个
BinaryFunction
,它把两个
GraphNode
联系到这两个节点之间的
GraphPath
Class
。注:这两个
GraphNode
必须属于同一个
Graph
。")
chinese_format.kif 2376-2377
(
documentation
GraphPathFn
EnglishLanguage
"A
BinaryFunction
that maps two
GraphNode
s to the
Class
of
GraphPath
s between those two nodes. Note that the two
GraphNode
s must belong to the same
Graph
.")
Merge.kif 6058-6060
(
documentation
GraphPathFn
JapaneseLanguage
"
BinaryFunction
は、2つの
GraphNode
をこれ らの2つのノード間の
GraphPath
の
Class
にマップする。 注:2つの
GraphNode
は同じ
Graph
に属している必要がある。")
japanese_format.kif 1053-1055
(
domain
GraphPathFn
1
GraphNode
)
Merge.kif 6054-6054
Die Zahl 1 Argument von
GraphPathFn
ist ein
fall
von
GraphNode
%n{nicht}
(
domain
GraphPathFn
2
GraphNode
)
Merge.kif 6055-6055
Die Zahl 2 Argument von
GraphPathFn
ist ein
fall
von
GraphNode
%n{nicht}
(
instance
GraphPathFn
BinaryFunction
)
Merge.kif 6052-6052
GraphPathFn
ist ein
fall
von
BinaryFunction
%n{nicht}
(
instance
GraphPathFn
TotalValuedRelation
)
Merge.kif 6053-6053
GraphPathFn
ist ein
fall
von
TotalValuedRelation
%n{nicht}
(
rangeSubclass
GraphPathFn
GraphPath
)
Merge.kif 6056-6056
Die werte die
GraphPathFn
zurueckgibt sind
teilkategorien
von
GraphPath
appearance as argument number 2
(
format
ChineseLanguage
GraphPathFn
"%1 和 %2 的路径集
Set
")
chinese_format.kif 775-775
(
format
EnglishLanguage
GraphPathFn
"the set of paths between %1 and %2")
english_format.kif 775-775
(
format
FrenchLanguage
GraphPathFn
"l' ensemble de chemin entre %1 et %2")
french_format.kif 467-467
(
format
ItalianLanguage
GraphPathFn
"l' insieme di cammini tra %1 e %2")
relations-it.txt 120-120
(
format
JapaneseLanguage
GraphPathFn
"%1 と %2 間のパスの set")
japanese_format.kif 2171-2171
(
format
PortugueseLanguage
GraphPathFn
"o conjunto de caminhos entre %1 e %2")
portuguese_format.kif 419-419
(
format
de
GraphPathFn
"die menge von Pfaden zwischen %1 und %2")
relations-de.txt 1003-1003
(
format
hi
GraphPathFn
"%1 aura %2 ke biicha ke
path
asamuuha")
relations-hindi.txt 160-160
(
format
ro
GraphPathFn
"set%t{mulþimea} drumurilor între %1 ºi %2")
relations-ro.kif 489-489
(
format
sv
GraphPathFn
"mängden av vägar mellan %1 och %2")
relations-sv.txt 537-537
(
format
tg
GraphPathFn
"ang pangkat sa landas sa gitnang %1 at %2")
relations-tg.txt 247-247
(
termFormat
ChineseLanguage
GraphPathFn
"图形路径")
domainEnglishFormat.kif 26466-26466
(
termFormat
ChineseLanguage
GraphPathFn
"图路函数")
chinese_format.kif 776-776
(
termFormat
ChineseTraditionalLanguage
GraphPathFn
"圖形路徑")
domainEnglishFormat.kif 26465-26465
(
termFormat
EnglishLanguage
GraphPathFn
"graph path")
domainEnglishFormat.kif 26464-26464
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}
consequent
(=>
(
and
(
graphPart
?PATH ?GRAPH)
(
not
(
instance
?GRAPH
DirectedGraph
)))
(<=>
(
instance
?PATH
(
GraphPathFn
?NODE1 ?NODE2))
(
instance
?PATH
(
GraphPathFn
?NODE2 ?NODE1))))
Merge.kif 6062-6068
Wenn
GraphElement
ist ein
teil
von
Graph
%n{nicht} und
** Graph
ist ein
fall
von
DirectedGraph
nicht,
dann
** GraphElement
ist ein
fall
von die
menge
von Pfaden zwischen
GraphNode
und
** GraphNode
%n{nicht} genau dann wenn
** GraphElement
ist ein
fall
von die
menge
von Pfaden zwischen
** ** GraphNode
und
** GraphNode
%n{nicht}
(=>
(
equal
(
MaximalWeightedPathFn
?NODE1 ?NODE2) ?PATH)
(
instance
?PATH
(
GraphPathFn
?NODE1 ?NODE2)))
Merge.kif 6040-6042
Wenn der Pfad der hoechsten Kosten zwischen
GraphNode
und
** GraphNode
ist gleich
GraphPath
%n{nicht},
dann
** GraphPath
ist ein
fall
von die
menge
von Pfaden zwischen
** GraphNode
und
** ** GraphNode
%n{nicht}
(=>
(
equal
(
MinimalWeightedPathFn
?NODE1 ?NODE2) ?PATH)
(
instance
?PATH
(
GraphPathFn
?NODE1 ?NODE2)))
Merge.kif 6018-6020
Wenn der Pfad der niedrigsten Kosten zwischen
GraphNode
und
** GraphNode
ist gleich
GraphPath
%n{nicht},
dann
** GraphPath
ist ein
fall
von die
menge
von Pfaden zwischen
** GraphNode
und
** ** GraphNode
%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