| 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 | StartupFn の数値 1 引数は コンピュータープログラム の instance では %n |
| (instance StartupFn UnaryFunction) | QoSontology.kif 400-400 | StartupFn は 1変数関数 の instance では %n |
| (range StartupFn StartupBlock) | QoSontology.kif 402-402 | StartupFn の range は StartupBlock のインスタンス では %n |
| 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 | |
| (=> (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 |
|
|
Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)
|
|
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