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
TerminalNodeFn
Sigma KEE - TerminalNodeFn
TerminalNodeFn
appearance as argument number 1
(
documentation
TerminalNodeFn
ChineseLanguage
"这是一个
UnaryFunction
, 它把一个
GraphArc
和这个
GraphArc
的终点联系起来。 注:这是一个部分函数,特别是当
GraphArc
不属于
DirectedGraph
时,这会是个为定义的函数。")
chinese_format.kif 2359-2361
(
documentation
TerminalNodeFn
EnglishLanguage
"A
UnaryFunction
that maps a
GraphArc
to the terminal node of the
GraphArc
. Note that this is a partial function. In particular, the function is undefined for
GraphArc
s that are not part of a
DirectedGraph
.")
Merge.kif 5935-5938
(
documentation
TerminalNodeFn
JapaneseLanguage
"
UnaryFunction
は、
GraphArc
を
GraphArc
の端子ノードにマップする。 注:これは部分的な関数。特に、
DirectedGraph
の一部では ない
GraphArc
の関数は未定義である。")
japanese_format.kif 1036-1038
(
domain
TerminalNodeFn
1
GraphArc
)
Merge.kif 5932-5932
Die Zahl 1 Argument von
TerminalNodeFn
ist ein
fall
von
GraphArc
%n{nicht}
(
instance
TerminalNodeFn
PartialValuedRelation
)
Merge.kif 5931-5931
TerminalNodeFn
ist ein
fall
von
PartialValuedRelation
%n{nicht}
(
instance
TerminalNodeFn
UnaryFunction
)
Merge.kif 5930-5930
TerminalNodeFn
ist ein
fall
von
UnaryFunction
%n{nicht}
(
range
TerminalNodeFn
GraphNode
)
Merge.kif 5933-5933
bildbereich
von
TerminalNodeFn
ist ein fall von
GraphNode
{nicht}
appearance as argument number 2
(
format
ChineseLanguage
TerminalNodeFn
"%1 节点的终点")
chinese_format.kif 763-763
(
format
EnglishLanguage
TerminalNodeFn
"the terminal node of %1")
english_format.kif 763-763
(
format
FrenchLanguage
TerminalNodeFn
"le noeud terminal %1")
french_format.kif 461-461
(
format
ItalianLanguage
TerminalNodeFn
"il nodo terminale di %1")
relations-it.txt 298-298
(
format
JapaneseLanguage
TerminalNodeFn
"%1 の terminal ノード")
japanese_format.kif 2165-2165
(
format
PortugueseLanguage
TerminalNodeFn
"o no' terminal %1")
portuguese_format.kif 413-413
(
format
de
TerminalNodeFn
"das terminalnullpunkt von %1")
relations-de.txt 985-985
(
format
hi
TerminalNodeFn
"%1 kaa antastha bindu")
relations-hindi.txt 334-334
(
format
ro
TerminalNodeFn
"nodul terminal%t{terminal} al lui %1")
relations-ro.kif 483-483
(
format
sv
TerminalNodeFn
"den terminerande noden för %1")
relations-sv.txt 527-527
(
format
tg
TerminalNodeFn
"ang buko ng pandulo %1")
relations-tg.txt 490-490
(
relatedInternalConcept
EndNodeFn
TerminalNodeFn
)
Merge.kif 5955-5955
EndNodeFn
ist innerlich verwandt mit
TerminalNodeFn
%n{nicht}
(
termFormat
ChineseLanguage
TerminalNodeFn
"终端节点")
domainEnglishFormat.kif 57554-57554
(
termFormat
ChineseLanguage
TerminalNodeFn
"节点终点函数")
chinese_format.kif 764-764
(
termFormat
ChineseTraditionalLanguage
TerminalNodeFn
"終端節點")
domainEnglishFormat.kif 57553-57553
(
termFormat
EnglishLanguage
TerminalNodeFn
"terminal node")
domainEnglishFormat.kif 57552-57552
antecedent
(=>
(
and
(
equal
(
InitialNodeFn
?ARC) ?NODE)
(
equal
(
TerminalNodeFn
?ARC) ?NODE))
(
instance
?ARC
GraphLoop
))
Merge.kif 5866-5870
Wenn das
ausgangsnullpunkt
von
GraphArc
ist gleich
GraphNode
%n{nicht} und das
terminalnullpunkt
von
** GraphArc
ist gleich
** GraphNode
%n{nicht},
dann
** GraphArc
ist ein
fall
von
GraphLoop
%n{nicht}
(=>
(
and
(
instance
?GRAPH
GraphPath
)
(
instance
?ARC
GraphArc
)
(
graphPart
?ARC ?GRAPH)
(
equal
(
TerminalNodeFn
?ARC) ?NODE))
(
not
(
exists
(?OTHER)
(
and
(
equal
(
TerminalNodeFn
?OTHER) ?NODE)
(
not
(
equal
?OTHER ?ARC))))))
Merge.kif 5739-5750
Wenn
Graph
ist ein
fall
von
GraphPath
%n{nicht} und
GraphArc
ist ein
fall
von
GraphArc
%n{nicht} und
** GraphArc
ist ein
teil
von
** Graph
%n{nicht} und das
terminalnullpunkt
von
** GraphArc
ist gleich
GraphNode
%n{nicht},
dann es gibt nicht
** GraphArc
um das
terminalnullpunkt
von
** ** GraphArc
ist gleich
** GraphNode
%n{nicht} und
** ** GraphArc
ist gleich
** GraphArc
nicht
consequent
(=>
(
and
(
instance
?GRAPH
DirectedGraph
)
(
instance
?ARC
GraphArc
)
(
graphPart
?ARC ?GRAPH))
(
exists
(?NODE1 ?NODE2)
(
and
(
equal
(
InitialNodeFn
?ARC) ?NODE1)
(
equal
(
TerminalNodeFn
?ARC) ?NODE2))))
Merge.kif 5675-5683
Wenn
Graph
ist ein
fall
von
DirectedGraph
%n{nicht} und
GraphArc
ist ein
fall
von
GraphArc
%n{nicht} und
** GraphArc
ist ein
teil
von
** Graph
%n{nicht},
dann es gibt
GraphNode
und
** GraphNode
um das
ausgangsnullpunkt
von
** GraphArc
ist gleich
** GraphNode
%n{nicht} und das
terminalnullpunkt
von
** GraphArc
ist gleich
** ** GraphNode
%n{nicht}
(=>
(
and
(
instance
?GRAPH
GraphPath
)
(
instance
?ARC
GraphArc
)
(
graphPart
?ARC ?GRAPH)
(
equal
(
TerminalNodeFn
?ARC) ?NODE))
(
not
(
exists
(?OTHER)
(
and
(
equal
(
TerminalNodeFn
?OTHER) ?NODE)
(
not
(
equal
?OTHER ?ARC))))))
Merge.kif 5739-5750
Wenn
Graph
ist ein
fall
von
GraphPath
%n{nicht} und
GraphArc
ist ein
fall
von
GraphArc
%n{nicht} und
** GraphArc
ist ein
teil
von
** Graph
%n{nicht} und das
terminalnullpunkt
von
** GraphArc
ist gleich
GraphNode
%n{nicht},
dann es gibt nicht
** GraphArc
um das
terminalnullpunkt
von
** ** GraphArc
ist gleich
** GraphNode
%n{nicht} und
** ** GraphArc
ist gleich
** GraphArc
nicht
(=>
(
instance
?GRAPH
Tree
)
(
not
(
exists
(?ARC1 ?ARC2 ?NODE)
(
and
(
graphPart
?ARC1 ?GRAPH)
(
graphPart
?ARC2 ?GRAPH)
(
graphPart
?NODE ?GRAPH)
(
equal
(
TerminalNodeFn
?ARC1) ?NODE)
(
equal
(
TerminalNodeFn
?ARC2) ?NODE)
(
not
(
equal
?ARC1 ?ARC2))))))
Merge.kif 5706-5716
Wenn
Graph
ist ein
fall
von
Tree
%n{nicht},
dann es gibt nicht
GraphArc
,
** GraphArc
, and und
GraphNode
um
** GraphArc
ist ein
teil
von
** Graph
%n{nicht} und
** ** GraphArc
ist ein
teil
von
** Graph
%n{nicht} und
** GraphNode
ist ein
teil
von
** Graph
%n{nicht} und das
terminalnullpunkt
von
** GraphArc
ist gleich
** GraphNode
%n{nicht} und das
terminalnullpunkt
von
** ** GraphArc
ist gleich
** GraphNode
%n{nicht} und
** GraphArc
ist gleich
** ** GraphArc
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