Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

  ForceQuit

Sigma KEE - ForceQuit
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


Show simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree


Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0 is open source software produced by Articulate Software and its partners