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
ShutdownFn
Sigma KEE - ShutdownFn
ShutdownFn
appearance as argument number 1
(
documentation
ShutdownFn
EnglishLanguage
"(
ShutdownFn
?Program) returns an instance of
ShutdownBlock
which contains the instructions to end ?PROGRAM.")
QoSontology.kif 443-444
(
domain
ShutdownFn
1
ComputerProgram
)
QoSontology.kif 441-441
域
關掉
, 1 and
ComputerProgram
(
instance
ShutdownFn
UnaryFunction
)
QoSontology.kif 440-440
例
關掉
and
UnaryFunction
(
range
ShutdownFn
ShutdownBlock
)
QoSontology.kif 442-442
範圍
關掉
and
關機塊
appearance as argument number 2
(
format
ChineseLanguage
ShutdownFn
"%1 的 shutdown ")
domainEnglishFormat.kif 2287-2287
(
format
ChineseTraditionalLanguage
ShutdownFn
"%1 的 shutdown ")
domainEnglishFormat.kif 2286-2286
(
format
EnglishLanguage
ShutdownFn
"the shutdown of %1")
domainEnglishFormat.kif 2285-2285
(
termFormat
ChineseLanguage
ShutdownFn
"关掉")
domainEnglishFormat.kif 52912-52912
(
termFormat
ChineseTraditionalLanguage
ShutdownFn
"關掉")
domainEnglishFormat.kif 52911-52911
(
termFormat
EnglishLanguage
ShutdownFn
"shutdown")
domainEnglishFormat.kif 52910-52910
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