ForceQuit - Sigma Knowledge base Browser

appearance as argument number 1

(subclass ForceQuit UserSignifiedAction)	ComputingBrands.kif 2934-2934	Force quit is a subclass of user signified action
(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 2935-2937	Force quit is a subclass of user signified action
(documentation ForceQuit ChineseTraditionalLanguage "一個由使用者採取的例外性行動用來終結一個應用程式, 而不是藉由從選單上選擇 '退出' 或是讓應用程式正常自行終結。")	ComputingBrands.kif 2938-2939	Force quit is a subclass of user signified action
(documentation ForceQuit ChineseLanguage "一个由使用者采取的例外性行动用来终结一个应用程式, 而不是藉由从选单上选择 '退出' 或是让应用程式正常自行终结。")	ComputingBrands.kif 2941-2942	Force quit is a subclass of user signified action
(documentation ForceQuit JapaneseLanguage "ユーザーがアプリケーションを終了する際、実行するアクションメニューで「終了」を選択したり、アプリケーションを単独で正常に終了させるのではなく、例外的な方法でアプリケーションを終了させる。")	ComputingBrands.kif 2944-2946	Force quit is a subclass of user signified action

appearance as argument number 2

(termFormat EnglishLanguage ForceQuit "force quit")	ComputingBrands.kif 2948-2948
(termFormat ChineseTraditionalLanguage ForceQuit "強迫終止")	ComputingBrands.kif 2949-2949
(termFormat ChineseLanguage ForceQuit "强迫终止")	ComputingBrands.kif 2950-2950
(termFormat JapaneseLanguage ForceQuit "〔アプリケーションの〕強制終了")	ComputingBrands.kif 2951-2951

antecedent

(=>
    (and
        (instance ?FQ ForceQuit)
        (refers ?FQ ?P)
        (programRunning ?P ?PROG))
    (exists (?A)
        (and
            (instance ?A Abort)
            (processAborted ?A ?P))))

If X is an instance of force quit, X includes a reference to Y, and Z is a program running of Y, then there exists W such that W is an instance of abort and Y is a process aborted of W