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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - ForceQuit
ForceQuit(force quit)

appearance as argument number 1
-------------------------


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

appearance as argument number 2
-------------------------


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

antecedent
-------------------------


(=>
    (and
        (instance ?FQ ForceQuit)
        (refers ?FQ ?P)
        (programRunning ?P ?PROG))
    (exists (?A)
        (and
            (instance ?A Abort)
            (processAborted ?A ?P))))
ComputingBrands.kif 3010-3018


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



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