ShutdownBlock
|
|
appearance as argument number 1 |
(documentation ShutdownBlock EnglishLanguage "A typically small instance of ComputerProgram whose function is to end a typically larger instance of ComputerProgram.") | QoSontology.kif 407-409 | |
(externalImage ShutdownBlock "http://upload.wikimedia.org/wikipedia/en/4/ 42/ Mac_OS_X_power_dialog.png") | pictureList.kif 8712-8712 | |
(externalImage ShutdownBlock "http://upload.wikimedia.org/wikipedia/en/5/ 5e/ Windows_XP_Shutdown.png") | pictureList.kif 9657-9657 | |
(subclass ShutdownBlock ComputerProgram) | QoSontology.kif 406-406 | ShutdownBlock è una sottoclasse di ProgrammaDiComputer |
appearance as argument number 2 |
(range ShutdownFn ShutdownBlock) | QoSontology.kif 442-442 | rango di ShutdownFn è un'istanza di ShutdownBlock |
(termFormat ChineseLanguage ShutdownBlock "关机块") | domainEnglishFormat.kif 52906-52906 | |
(termFormat ChineseTraditionalLanguage ShutdownBlock "關機塊") | domainEnglishFormat.kif 52905-52905 | |
(termFormat EnglishLanguage ShutdownBlock "shutdown block") | domainEnglishFormat.kif 52904-52904 |
appearance as argument number 3 |
(domain shutdownOf 1 ShutdownBlock) | QoSontology.kif 412-412 | Il numero 1 argomenti di shutdownOf è un istanza di ShutdownBlock |
antecedent |
consequent |
(=> (dependencyType ?Program ?Type) (or (equal ?Type StartupBlock) (equal ?Type ShutdownBlock))) |
QoSontology.kif 1227-1231 |