|
|
   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 e' uma sub-classe de Programa de Computador |
| appearance as argument number 2 |
|
|
| (range ShutdownFn ShutdownBlock) | QoSontology.kif 442-442 | O contra-dominio de ShutdownFn e' uma instancia de ShutdownBlock |
| (termFormat ChineseLanguage ShutdownBlock "关机块") | domainEnglishFormat.kif 52904-52904 | |
| (termFormat ChineseTraditionalLanguage ShutdownBlock "關機塊") | domainEnglishFormat.kif 52903-52903 | |
| (termFormat EnglishLanguage ShutdownBlock "shutdown block") | domainEnglishFormat.kif 52902-52902 |
| appearance as argument number 3 |
|
|
| (domain shutdownOf 1 ShutdownBlock) | QoSontology.kif 412-412 | O argumento numero 1 de shutdownOf e' uma instancia de ShutdownBlock |
| antecedent |
|
|
| consequent |
|
|
| (=> (dependencyType ?Program ?Type) (or (equal ?Type StartupBlock) (equal ?Type ShutdownBlock))) |
QoSontology.kif 1227-1231 |
|
|
|
