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
County
Sigma KEE - EndNodeFn
EndNodeFn
appearance as argument number 1
(
documentation
EndNodeFn
ChineseLanguage
"这是一个
UnaryFunction
,它把一个
GraphPath
和
GraphPath
末端的
GraphNode
。注:和
TerminalNodeFn
不同 (把一个
GraphArc
和一个
GraphNode
联系),
EndNodeFn
是一个总体的函数 - 每个
GraphPath
都有它的末端。")
chinese_format.kif 2365-2367
(
documentation
EndNodeFn
EnglishLanguage
"A
UnaryFunction
that maps a
GraphPath
to the
GraphNode
that is the end of the
GraphPath
. Note that, unlike
TerminalNodeFn
(which relates a
GraphArc
to a
GraphNode
),
EndNodeFn
is a total function - every
GraphPath
has a end.")
Merge.kif 5958-5961
(
documentation
EndNodeFn
JapaneseLanguage
"
UnaryFunction
は、
GraphPath
を
GraphPath
の 終わりである
GraphNode
にマップする。 注:
TerminalNodeFn
(
GraphArc
を
GraphNode
に関 連する)とは異なり、
EndNodeFn
は合計関数であり、すべての
GraphPath
には終わりがある。")
japanese_format.kif 1042-1044
(
domain
EndNodeFn
1
GraphPath
)
Merge.kif 5954-5954
Il numero 1 argomenti di
EndNodeFn
è un
istanza
di
CamminoDelGrafo
(
instance
EndNodeFn
TotalValuedRelation
)
Merge.kif 5953-5953
EndNodeFn
è un'
istanza
di
RelazioneAValoreTotale
(
instance
EndNodeFn
UnaryFunction
)
Merge.kif 5952-5952
EndNodeFn
è un'
istanza
di
FunzioneUnaria
(
range
EndNodeFn
GraphNode
)
Merge.kif 5955-5955
rango
di
EndNodeFn
è un'istanza di
NodoDelGrafo
(
relatedInternalConcept
EndNodeFn
TerminalNodeFn
)
Merge.kif 5956-5956
EndNodeFn
è
interamente
correlato a
TerminalNodeFn
appearance as argument number 2
(
format
ChineseLanguage
EndNodeFn
"%1 的末端")
chinese_format.kif 767-767
(
format
EnglishLanguage
EndNodeFn
"the end of %1")
english_format.kif 767-767
(
format
FrenchLanguage
EndNodeFn
"la fin de %1")
french_format.kif 463-463
(
format
ItalianLanguage
EndNodeFn
"la fine di %1")
relations-it.txt 93-93
(
format
JapaneseLanguage
EndNodeFn
"%1 の end")
japanese_format.kif 2167-2167
(
format
PortugueseLanguage
EndNodeFn
"o fim de %1")
portuguese_format.kif 415-415
(
format
cz
EndNodeFn
"the end of %1")
relations-cz.txt 476-476
(
format
de
EndNodeFn
"das ende von %1")
relations-de.txt 991-991
(
format
hi
EndNodeFn
"%1 kaa antima-bindu")
relations-hindi.txt 133-133
(
format
ro
EndNodeFn
"end{sfârºtul} lui %1")
relations-ro.kif 485-485
(
format
sv
EndNodeFn
"slutet för %1")
relations-sv.txt 530-530
(
format
tg
EndNodeFn
"ang dulo sa %1")
relations-tg.txt 201-201
(
termFormat
ChineseLanguage
EndNodeFn
"结束节点")
domainEnglishFormat.kif 22048-22048
(
termFormat
ChineseLanguage
EndNodeFn
"节点末端")
chinese_format.kif 768-768
(
termFormat
ChineseTraditionalLanguage
EndNodeFn
"結束節點")
domainEnglishFormat.kif 22047-22047
(
termFormat
EnglishLanguage
EndNodeFn
"end node")
domainEnglishFormat.kif 22046-22046
(
termFormat
tg
EndNodeFn
"tungkulin ng dulo buko")
relations-tg.txt 202-202
antecedent
(=>
(
and
(
equal
(
BeginNodeFn
?GRAPH) ?NODE)
(
equal
(
EndNodeFn
?GRAPH) ?NODE))
(
instance
?GRAPH
GraphCircuit
))
Merge.kif 5766-5770
L'
inizio
di
CamminoDelGrafo
is
uguale
a
NodoDelGrafo
la
fine
di
CamminoDelGrafo
is
uguale
a
NodoDelGrafo
CamminoDelGrafo
è un'
istanza
di
CircuitoDelGrafo
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
Quantit�Costante
and
Transitway
pathInSystem
Transitway
and
TransitSystem
routeStart
Regione
and
Transitway
routeEnd
Regione
and
Transitway
abstractCounterpart
CamminoDelGrafo
and
TransitSystem
Grafo
NodoDelGrafo
and
NodoDelGrafo
Grafo
è un
sottografo
di
CamminoDelGrafo
NodoDelGrafo
is
uguale
a l'
inizio
di
CamminoDelGrafo
NodoDelGrafo
is
uguale
a la
fine
di
CamminoDelGrafo
abstractCounterpart
NodoDelGrafo
and
Regione
abstractCounterpart
NodoDelGrafo
and
Regione
(=>
(
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
è un'
istanza
di
Grafo
NodoDelGrafo
è un'
istanza
di
NodoDelGrafo
NodoDelGrafo
è un'
istanza
di
NodoDelGrafo
NodoDelGrafo
è una
parte
di
Grafo
NodoDelGrafo
è una
parte
di
Grafo
NodoDelGrafo
is
uguale
a
NodoDelGrafo
arco del grafo
CamminoDelGrafo
arco del grafo
lega
s
NodoDelGrafo
e
NodoDelGrafo
CamminoDelGrafo
è un
sottografo
di
Grafo
CamminoDelGrafo
è un'
istanza
di
CamminoDelGrafo
l'
inizio
di
CamminoDelGrafo
is
uguale
a
NodoDelGrafo
la
fine
di
CamminoDelGrafo
is
uguale
a
NodoDelGrafo
l'
inizio
di
CamminoDelGrafo
is
uguale
a
NodoDelGrafo
la
fine
di
CamminoDelGrafo
is
uguale
a
NodoDelGrafo
(=>
(
instance
?GRAPH
GraphCircuit
)
(
exists
(?NODE)
(
and
(
equal
(
BeginNodeFn
?GRAPH) ?NODE)
(
equal
(
EndNodeFn
?GRAPH) ?NODE))))
Merge.kif 5759-5764
CamminoDelGrafo
è un'
istanza
di
CircuitoDelGrafo
NodoDelGrafo
l'
inizio
di
CamminoDelGrafo
is
uguale
a
NodoDelGrafo
la
fine
di
CamminoDelGrafo
is
uguale
a
NodoDelGrafo
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