|
|
   ForceQuit
|
|
|
| appearance as argument number 1 |
|
|
| (documentation ForceQuit ChineseLanguage "一个由使用者采取的例外性行动用来终结一个应用程式, 而不是藉由从选单上选择 '退出' 或是让应用程式正常自行终结。") | ComputingBrands.kif 3030-3031 | |
| (documentation ForceQuit ChineseTraditionalLanguage "一個由使用者採取的例外性行動用來終結一個應用程式, 而不是藉由從選單上選擇 '退出' 或是讓應用程式正常自行終結。") | ComputingBrands.kif 3027-3028 | |
| (documentation ForceQuit EnglishLanguage "An action taken by the user to terminate an application in an exception manner, rather than by selecting 'quit' in a menu or letting the application terminate normally by itself.") | ComputingBrands.kif 3024-3026 | |
| (documentation ForceQuit JapaneseLanguage "ユーザーがアプリケーションを終了する際、実行する アクションメニューで「終了」を選択したり、アプリケーションを単独で正常に終了させるのではなく、 例外的な方法でアプリケーションを終了させる。") | ComputingBrands.kif 3033-3035 | |
| (subclass ForceQuit UserSignifiedAction) | ComputingBrands.kif 3023-3023 |
| appearance as argument number 2 |
|
|
| (termFormat ChineseLanguage ForceQuit "强迫终止") | ComputingBrands.kif 3039-3039 | |
| (termFormat ChineseTraditionalLanguage ForceQuit "強迫終止") | ComputingBrands.kif 3038-3038 | |
| (termFormat EnglishLanguage ForceQuit "force quit") | ComputingBrands.kif 3037-3037 | |
| (termFormat JapaneseLanguage ForceQuit "〔アプリケーションの〕強制終了") | ComputingBrands.kif 3040-3040 |
| antecedent |
|
|
| (=> (and (instance ?FQ ForceQuit) (refers ?FQ ?P) (programRunning ?P ?PROG)) (exists (?A) (and (instance ?A Abort) (processAborted ?A ?P)))) |
ComputingBrands.kif 3042-3050 |
|
|
|