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
Pons
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
The number 1 argument of
startup
is an
instance
of
computer program
(
instance
StartupFn
UnaryFunction
)
QoSontology.kif 400-400
Startup
is an
instance
of
unary function
(
range
StartupFn
StartupBlock
)
QoSontology.kif 402-402
The
range
of
startup
is an instance of
startup block
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 55088-55088
(
termFormat
ChineseTraditionalLanguage
StartupFn
"啟動")
domainEnglishFormat.kif 55087-55087
(
termFormat
EnglishLanguage
StartupFn
"startup")
domainEnglishFormat.kif 55086-55086
consequent
(=>
(
and
(
instance
?Application
AutomaticApplication
)
(
instance
?System
SoftwareSystem
)
(
part
?Application ?System))
(
part
(
StartupFn
?Application)
(
StartupFn
?System)))
QoSontology.kif 586-591
If
an object
is an
instance
of
automatic application
and
another object
is an
instance
of
software system
and
the object
is a
part
of
the other object
,
then the
startup
of
the object
is a
part
of the
startup
of
the other object
(=>
(
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
If
a computer program
is an
instance
of
RMStartApplication
,
then there exist
another computer program
,
a computer process
and
the computer program
Copy such that
the other computer program
is an
instance
of
computer program
and
the computer program
Copy is a
copy
of
the computer program
and the
startup
of
the other computer program
is a
program
running of
the computer process
and
the computer program
Copy is an
agent
of
the computer process
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