ForceQuit - Sigma Knowledge base Browser

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	Force quit is a subclass of user signified action

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