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
InitialNodeFn
Sigma KEE - InitialNodeFn
InitialNodeFn
appearance as argument number 1
(
documentation
InitialNodeFn
ChineseLanguage
"这是一个
UnaryFunction
,它把一个
GraphArc
和这个
GraphArc
的始点联系起来。 注:这是一个部分函数,特别是当
GraphArc
不属于
DirectedGraph
时,这会是个为定义的函数。")
chinese_format.kif 2356-2358
(
documentation
InitialNodeFn
EnglishLanguage
"A
UnaryFunction
that maps a
GraphArc
to the initial 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 5925-5928
(
documentation
InitialNodeFn
JapaneseLanguage
"
UnaryFunction
は、
GraphArc
を
GraphArc
の初期ノードにマップする。 注:これは部分的な関数。特に、
DirectedGraph
の一部ではない
GraphArc
の関数は未定義である。")
japanese_format.kif 1033-1035
(
domain
InitialNodeFn
1
GraphArc
)
Merge.kif 5922-5922
节点起点函数
的 1 数量 是
图弧
的
instance
(
instance
InitialNodeFn
PartialValuedRelation
)
Merge.kif 5921-5921
节点起点函数
是
部分值关系
的
instance
(
instance
InitialNodeFn
UnaryFunction
)
Merge.kif 5920-5920
节点起点函数
是
一元函数
的
instance
(
range
InitialNodeFn
GraphNode
)
Merge.kif 5923-5923
节点起点函数
的
range
是
图节点
的实例
appearance as argument number 2
(
format
ChineseLanguage
InitialNodeFn
"%1 节点的起点")
chinese_format.kif 761-761
(
format
EnglishLanguage
InitialNodeFn
"the starting node of %1")
english_format.kif 761-761
(
format
FrenchLanguage
InitialNodeFn
"le noeud de d�part de %1")
french_format.kif 460-460
(
format
ItalianLanguage
InitialNodeFn
"il nodo iniziale di %1")
relations-it.txt 146-146
(
format
JapaneseLanguage
InitialNodeFn
"%1 の starting ノード")
japanese_format.kif 2164-2164
(
format
PortugueseLanguage
InitialNodeFn
"o no' initial %1")
portuguese_format.kif 412-412
(
format
de
InitialNodeFn
"das ausgangsnullpunkt von %1")
relations-de.txt 982-982
(
format
hi
InitialNodeFn
"%1 kii praarambhika bindu")
relations-hindi.txt 185-185
(
format
ro
InitialNodeFn
"nodul starting%t{iniþial} al lui %1")
relations-ro.kif 482-482
(
format
sv
InitialNodeFn
"den initiala noden för %1")
relations-sv.txt 526-526
(
format
tg
InitialNodeFn
"ang pasimula ng %1")
relations-tg.txt 296-296
(
relatedInternalConcept
BeginNodeFn
InitialNodeFn
)
Merge.kif 5944-5944
节点开端函数
和
节点起点函数
是 内部相关
(
termFormat
ChineseLanguage
InitialNodeFn
"初始节点")
domainEnglishFormat.kif 30121-30121
(
termFormat
ChineseLanguage
InitialNodeFn
"节点起点函数")
chinese_format.kif 762-762
(
termFormat
ChineseTraditionalLanguage
InitialNodeFn
"初始節點")
domainEnglishFormat.kif 30120-30120
(
termFormat
EnglishLanguage
InitialNodeFn
"initial node")
domainEnglishFormat.kif 30119-30119
(
termFormat
tg
InitialNodeFn
"tungkulin ng buko una")
relations-tg.txt 297-297
antecedent
(=>
(
and
(
equal
(
InitialNodeFn
?ARC) ?NODE)
(
equal
(
TerminalNodeFn
?ARC) ?NODE))
(
instance
?ARC
GraphLoop
))
Merge.kif 5866-5870
如果
图弧
节点的起点
equal
图节点
和
那个 图弧
节点的终点
equal
那个 图节点
,
然后
那个 图弧
是
图环路
的
instance
(=>
(
and
(
instance
?GRAPH
GraphPath
)
(
instance
?ARC
GraphArc
)
(
graphPart
?ARC ?GRAPH)
(
equal
(
InitialNodeFn
?ARC) ?NODE))
(
not
(
exists
(?OTHER)
(
and
(
equal
(
InitialNodeFn
?OTHER) ?NODE)
(
not
(
equal
?OTHER ?ARC))))))
Merge.kif 5726-5737
如果
图
是
图路径
的
instance
和
图弧
是
图弧
的
instance
和
那个 图弧
是
那个 图
的
part
和
那个 图弧
节点的起点
equal
图节点
,
然后 不存在
另一个 图弧
这样
那个 另外 图弧
节点的起点
equal
那个 图节点
和
那个 另外 图弧
不
equal
那个 图弧
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
如果
图
是
有向图
的
instance
和
图弧
是
图弧
的
instance
和
那个 图弧
是
那个 图
的
part
,
然后 有存在
图节点
和
另一个 图节点
这样
那个 图弧
节点的起点
equal
那个 图节点
和
那个 图弧
节点的终点
equal
那个 另外 图节点
(=>
(
and
(
instance
?GRAPH
GraphPath
)
(
instance
?ARC
GraphArc
)
(
graphPart
?ARC ?GRAPH)
(
equal
(
InitialNodeFn
?ARC) ?NODE))
(
not
(
exists
(?OTHER)
(
and
(
equal
(
InitialNodeFn
?OTHER) ?NODE)
(
not
(
equal
?OTHER ?ARC))))))
Merge.kif 5726-5737
如果
图
是
图路径
的
instance
和
图弧
是
图弧
的
instance
和
那个 图弧
是
那个 图
的
part
和
那个 图弧
节点的起点
equal
图节点
,
然后 不存在
另一个 图弧
这样
那个 另外 图弧
节点的起点
equal
那个 图节点
和
那个 另外 图弧
不
equal
那个 图弧
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