| ShutdownBlock(shutdown block)
|
| appearance as argument number 1 |
|
| s__documentation(s__ShutdownBlock,s__EnglishLanguage,'"A typically small instance of ComputerProgram whose function is to end a typically larger instance of ComputerProgram."')
|
QoSontology.kif 405-407 | |
| s__externalImage(s__ShutdownBlock,'"http://upload.wikimedia.org/wikipedia/en/4/ 42/ Mac_OS_X_power_dialog.png"')
|
pictureList.kif 8716-8716 | |
| s__externalImage(s__ShutdownBlock,'"http://upload.wikimedia.org/wikipedia/en/5/ 5e/ Windows_XP_Shutdown.png"')
|
pictureList.kif 9674-9674 | |
| s__instance(s__ShutdownBlock,s__SetOrClass) s__subclass(s__ShutdownBlock,s__ComputerProgram) s__instance(s__ComputerProgram,s__SetOrClass)
|
QoSontology.kif 404-404 | Shutdown block is a subclass of computer program |
| appearance as argument number 2 |
|
|
| s__range(s__ShutdownFn__m,s__ShutdownBlock)
|
QoSontology.kif 440-440 | The range of shutdown is an instance of shutdown block |
| s__termFormat(s__ChineseLanguage,s__ShutdownBlock,'"关机块"')
|
domainEnglishFormat.kif 52887-52887 | |
| s__termFormat(s__ChineseTraditionalLanguage,s__ShutdownBlock,'"關機塊"')
|
domainEnglishFormat.kif 52886-52886 | |
| s__termFormat(s__EnglishLanguage,s__ShutdownBlock,'"shutdown block"')
|
domainEnglishFormat.kif 52885-52885 |
| appearance as argument number 3 |
|
|
| s__domain(s__shutdownOf__m,n__1,s__ShutdownBlock)
|
QoSontology.kif 410-410 | The number 1 argument of shutdown of is an instance of shutdown block |
| antecedent |
|
|
| consequent |
|
|
| ( ! [V__Program,V__Type] : (((s__instance(V__Program,s__ComputerProgram) & s__subclass(V__Type,s__ComputerProgram)) => ((s__dependencyType(V__Program,V__Type) => (((V__Type = s__StartupBlock) | (V__Type = s__ShutdownBlock)))))) ) )
|
QoSontology.kif 1232-1236 |
|
|
|
|