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
StartupFn
VeryUnhealthyAQIAirQuality
Sigma KEE - StartupFn
StartupFn
appearance as argument number 1
(
documentation
StartupFn
EnglishLanguage
"(
StartupFn
?Program) returns an instance of
StartupBlock
which contains the instructions to start the ?Program.")
QoSontology.kif 403-404
(
domain
StartupFn
1
ComputerProgram
)
QoSontology.kif 401-401
Die Zahl 1 Argument von
StartupFn
ist ein
fall
von
ComputerProgram
%n{nicht}
(
instance
StartupFn
UnaryFunction
)
QoSontology.kif 400-400
StartupFn
ist ein
fall
von
UnaryFunction
%n{nicht}
(
range
StartupFn
StartupBlock
)
QoSontology.kif 402-402
bildbereich
von
StartupFn
ist ein fall von
StartupBlock
{nicht}
appearance as argument number 2
(
format
ChineseLanguage
StartupFn
"%1 的 startup ")
domainEnglishFormat.kif 2343-2343
(
format
ChineseTraditionalLanguage
StartupFn
"%1 的 startup ")
domainEnglishFormat.kif 2342-2342
(
format
EnglishLanguage
StartupFn
"the startup of %1")
domainEnglishFormat.kif 2341-2341
(
termFormat
ChineseLanguage
StartupFn
"启动")
domainEnglishFormat.kif 55086-55086
(
termFormat
ChineseTraditionalLanguage
StartupFn
"啟動")
domainEnglishFormat.kif 55085-55085
(
termFormat
EnglishLanguage
StartupFn
"startup")
domainEnglishFormat.kif 55084-55084
consequent
(=>
(
and
(
instance
?Application
AutomaticApplication
)
(
instance
?System
SoftwareSystem
)
(
part
?Application ?System))
(
part
(
StartupFn
?Application)
(
StartupFn
?System)))
QoSontology.kif 586-591
Wenn
Object
ist ein
fall
von
AutomaticApplication
%n{nicht} und
** Object
ist ein
fall
von
SoftwareSystem
%n{nicht} und
** Object
ist ein
teil
von
** ** Object
%n{nicht},
dann
StartupFn
** Object
ist ein
teil
von
StartupFn
** ** Object
%n{nicht}
(=>
(
instance
?RM
RMStartApplication
)
(
exists
(?Application ?Process ?RMCopy)
(
and
(
instance
?Application
ComputerProgram
)
(
programCopy
?RMCopy ?RM)
(
programRunning
?Process
(
StartupFn
?Application))
(
agent
?Process ?RMCopy))))
QoSontology.kif 599-606
Wenn
ComputerProgram
ist ein
fall
von
RMStartApplication
%n{nicht},
dann es gibt
** ComputerProgram
,
ComputerProcess
, and und
** ComputerProgram
Copy um
** ** ComputerProgram
ist ein
fall
von
ComputerProgram
%n{nicht} und
programCopy
** ComputerProgram
Copy and
** ComputerProgram
und
programRunning
** ComputerProcess
and
StartupFn
** ** ComputerProgram
und
** ComputerProcess
ist der
agent
von
** ComputerProgram
Copy %n{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