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
-------------------------


s__documentation(s__ForceQuit,s__ChineseLanguage,'"一个由使用者采取的例外性行动用来终结一个应用程式, 而不是藉由从选单上选择 退出 或是让应用程式正常自行终结。"')

ComputingBrands.kif 2989-2990
s__documentation(s__ForceQuit,s__ChineseTraditionalLanguage,'"一個由使用者採取的例外性行動用來終結一個應用程式, 而不是藉由從選單上選擇 退出 或是讓應用程式正常自行終結。"')

ComputingBrands.kif 2986-2987
s__documentation(s__ForceQuit,s__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 2983-2985
s__documentation(s__ForceQuit,s__JapaneseLanguage,'"ユーザーがアプリケーションを終了する際、実行する アクションメニューで「終了」を選択したり、アプリケーションを単独で正常に終了させるのではなく、 例外的な方法でアプリケーションを終了させる。"')

ComputingBrands.kif 2992-2994
s__instance(s__UserSignifiedAction,s__SetOrClass)

s__instance(s__ForceQuit,s__SetOrClass)

s__subclass(s__ForceQuit,s__UserSignifiedAction)

ComputingBrands.kif 2982-2982 Force quit is a subclass of UserSignifiedAction

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


s__termFormat(s__ChineseLanguage,s__ForceQuit,'"强迫终止"')

ComputingBrands.kif 2998-2998
s__termFormat(s__ChineseTraditionalLanguage,s__ForceQuit,'"強迫終止"')

ComputingBrands.kif 2997-2997
s__termFormat(s__EnglishLanguage,s__ForceQuit,'"force quit"')

ComputingBrands.kif 2996-2996
s__termFormat(s__JapaneseLanguage,s__ForceQuit,'"〔アプリケーションの〕強制終了"')

ComputingBrands.kif 2999-2999

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


( ! [V__P,V__PROG,V__FQ] :
   (((s__instance(V__P,s__ComputerProcess) &
         s__instance(V__PROG,s__ComputerProgram))
       =>
       (((s__instance(V__FQ,s__ForceQuit) &
             s__refers(V__FQ,V__P)
           &
           s__programRunning(V__P,V__PROG))
       =>
       (( ? [V__A] :
           ((s__instance(V__A,s__Abort) &
               s__processAborted(V__A,V__P))))))))
)
)

ComputingBrands.kif 3001-3009


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