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
BeginNodeFn
Sigma KEE - BeginNodeFn
BeginNodeFn
appearance as argument number 1
(
documentation
BeginNodeFn
ChineseLanguage
"这是一个
UnaryFunction
,它把一个
GraphPath
联系到
GraphPath
开端的
GraphNode
。注:跟
InitialNodeFn
不同 (把一个
GraphArc
和一个
GraphNode
联系),
BeginNodeFn
是一个总体的函数 - 每个
GraphPath
都有它的开端。")
chinese_format.kif 2362-2364
(
documentation
BeginNodeFn
EnglishLanguage
"A
UnaryFunction
that maps a
GraphPath
to the
GraphNode
that is the beginning of the
GraphPath
. Note that, unlike
InitialNodeFn
(which relates a
GraphArc
to a
GraphNode
),
BeginNodeFn
is a total function - every
GraphPath
has a beginning.")
Merge.kif 5947-5950
(
documentation
BeginNodeFn
JapaneseLanguage
"
UnaryFunction
は、
GraphPath
を
GraphPath
の先頭である
GraphNode
にマップする。 注:
InitialNodeFn
(
GraphArc
と
GraphNode
を関 連付ける) とは異なり、
BeginNodeFn
は完全な関数であり、すべての
GraphPath
には始まりがある。")
japanese_format.kif 1039-1041
(
domain
BeginNodeFn
1
GraphPath
)
Merge.kif 5943-5943
O argumento numero 1 de
BeginNodeFn
e' uma
instancia
de
Caminho do Grafo
(
instance
BeginNodeFn
TotalValuedRelation
)
Merge.kif 5942-5942
BeginNodeFn
e' uma
instancia
de
Relacao Total
(
instance
BeginNodeFn
UnaryFunction
)
Merge.kif 5941-5941
BeginNodeFn
e' uma
instancia
de
funcao Unaria
(
range
BeginNodeFn
GraphNode
)
Merge.kif 5944-5944
O
contra
-dominio de
BeginNodeFn
e' uma instancia de
No' do Grafo
(
relatedInternalConcept
BeginNodeFn
InitialNodeFn
)
Merge.kif 5945-5945
BeginNodeFn
e'
relacionado
internamente por SUMO a
InitialNodeFn
appearance as argument number 2
(
format
ChineseLanguage
BeginNodeFn
"%1 的开端")
chinese_format.kif 765-765
(
format
EnglishLanguage
BeginNodeFn
"the beginning of %1")
english_format.kif 765-765
(
format
FrenchLanguage
BeginNodeFn
"le commencement de %1")
french_format.kif 462-462
(
format
ItalianLanguage
BeginNodeFn
"l' inizio di %1")
relations-it.txt 35-35
(
format
JapaneseLanguage
BeginNodeFn
"%1 の beginning")
japanese_format.kif 2166-2166
(
format
PortugueseLanguage
BeginNodeFn
"o comeco de %1")
portuguese_format.kif 414-414
(
format
cb
BeginNodeFn
"ang sugod sa %1")
relations-cb.txt 69-69
(
format
cz
BeginNodeFn
"the beginning of %1")
relations-cz.txt 475-475
(
format
de
BeginNodeFn
"der anfang von %1")
relations-de.txt 988-988
(
format
hi
BeginNodeFn
"%1 kaa praarambha-noda")
relations-hindi.txt 79-79
(
format
ro
BeginNodeFn
"beginning%t{începutul} lui %1")
relations-ro.kif 484-484
(
format
sv
BeginNodeFn
"början för %1")
relations-sv.txt 528-528
(
format
tg
BeginNodeFn
"ang simula sa %1")
relations-tg.txt 86-86
(
termFormat
ChineseLanguage
BeginNodeFn
"开始节点")
domainEnglishFormat.kif 10571-10571
(
termFormat
ChineseLanguage
BeginNodeFn
"节点开端函数")
chinese_format.kif 766-766
(
termFormat
ChineseTraditionalLanguage
BeginNodeFn
"開始節點")
domainEnglishFormat.kif 10570-10570
(
termFormat
EnglishLanguage
BeginNodeFn
"begin node")
domainEnglishFormat.kif 10569-10569
(
termFormat
tg
BeginNodeFn
"tunkulin ng simula buko")
relations-tg.txt 87-87
antecedent
(=>
(
and
(
equal
(
BeginNodeFn
?GRAPH) ?NODE)
(
equal
(
EndNodeFn
?GRAPH) ?NODE))
(
instance
?GRAPH
GraphCircuit
))
Merge.kif 5766-5770
O
comeco
de
Caminho do Grafo
e'
igual
a
No' do Grafo
o
fim
de
Caminho do Grafo
e'
igual
a
No' do Grafo
Caminho do Grafo
e' uma
instancia
de
Circuito do Grafo
consequent
(=>
(
and
(
distanceOnPath
?DIST ?PATH)
(
pathInSystem
?PATH ?SYS)
(
routeStart
?START ?PATH)
(
routeEnd
?END ?PATH)
(
abstractCounterpart
?GRAPH ?SYS))
(
exists
(?S ?BN ?EN)
(
and
(
subGraph
?S ?GRAPH)
(
equal
?BN
(
BeginNodeFn
?GRAPH))
(
equal
?EN
(
EndNodeFn
?GRAPH))
(
abstractCounterpart
?BN ?START)
(
abstractCounterpart
?EN ?END))))
Transportation.kif 2839-2852
distanceOnPath
Quantidade Constante
and
Transitway
pathInSystem
Transitway
and
TransitSystem
routeStart
Regiao
and
Transitway
routeEnd
Regiao
and
Transitway
abstractCounterpart
Caminho do Grafo
and
TransitSystem
Grafo
No' do Grafo
and
No' do Grafo
Grafo
e' um
sub
-grafo de
Caminho do Grafo
No' do Grafo
e'
igual
a o
comeco
de
Caminho do Grafo
No' do Grafo
e'
igual
a o
fim
de
Caminho do Grafo
abstractCounterpart
No' do Grafo
and
Regiao
abstractCounterpart
No' do Grafo
and
Regiao
(=>
(
and
(
instance
?GRAPH
Graph
)
(
instance
?NODE1
GraphNode
)
(
instance
?NODE2
GraphNode
)
(
graphPart
?NODE1 ?GRAPH)
(
graphPart
?NODE2 ?GRAPH)
(
not
(
equal
?NODE1 ?NODE2)))
(
exists
(?ARC ?PATH)
(
or
(
links
?NODE1 ?NODE2 ?ARC)
(
and
(
subGraph
?PATH ?GRAPH)
(
instance
?PATH
GraphPath
)
(
or
(
and
(
equal
(
BeginNodeFn
?PATH) ?NODE1)
(
equal
(
EndNodeFn
?PATH) ?NODE2))
(
and
(
equal
(
BeginNodeFn
?PATH) ?NODE2)
(
equal
(
EndNodeFn
?PATH) ?NODE1)))))))
Merge.kif 5631-5651
Grafo
e' uma
instancia
de
Grafo
No' do Grafo
e' uma
instancia
de
No' do Grafo
No' do Grafo
e' uma
instancia
de
No' do Grafo
No' do Grafo
e' uma &parte de
Grafo
No' do Grafo
e' uma &parte de
Grafo
No' do Grafo
e'
igual
a
No' do Grafo
Arco do Grafo
Caminho do Grafo
Arco do Grafo
liga
No' do Grafo
e
No' do Grafo
Caminho do Grafo
e' um
sub
-grafo de
Grafo
Caminho do Grafo
e' uma
instancia
de
Caminho do Grafo
o
comeco
de
Caminho do Grafo
e'
igual
a
No' do Grafo
o
fim
de
Caminho do Grafo
e'
igual
a
No' do Grafo
o
comeco
de
Caminho do Grafo
e'
igual
a
No' do Grafo
o
fim
de
Caminho do Grafo
e'
igual
a
No' do Grafo
(=>
(
instance
?GRAPH
GraphCircuit
)
(
exists
(?NODE)
(
and
(
equal
(
BeginNodeFn
?GRAPH) ?NODE)
(
equal
(
EndNodeFn
?GRAPH) ?NODE))))
Merge.kif 5759-5764
Caminho do Grafo
e' uma
instancia
de
Circuito do Grafo
No' do Grafo
o
comeco
de
Caminho do Grafo
e'
igual
a
No' do Grafo
o
fim
de
Caminho do Grafo
e'
igual
a
No' do Grafo
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