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

Formal Language: 



KB Term:  Term intersection
English Word: 

  ShutdownBlock

Sigma KEE - ShutdownBlock
ShutdownBlock

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


(documentation ShutdownBlock EnglishLanguage "A typically small instance of ComputerProgram whose function is to end a typically larger instance of ComputerProgram.") QoSontology.kif 387-389
(externalImage ShutdownBlock "http://upload.wikimedia.org/wikipedia/en/4/ 42/ Mac_OS_X_power_dialog.png") pictureList.kif 8717-8717
(externalImage ShutdownBlock "http://upload.wikimedia.org/wikipedia/en/5/ 5e/ Windows_XP_Shutdown.png") pictureList.kif 9675-9675
(subclass ShutdownBlock ComputerProgram) QoSontology.kif 386-386

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


(range ShutdownFn ShutdownBlock) QoSontology.kif 422-422
(termFormat EnglishLanguage ShutdownBlock "shutdown block") domainEnglishFormat.kif 9241-9241

appearance as argument number 3
-------------------------


(domain shutdownOf 1 ShutdownBlock) QoSontology.kif 392-392

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


(=>
    (exists (?Time1 ?Time2)
        (and
            (dependencyDelay ?Program1 ?Delay)
            (dependencyType ?Program1 ShutdownBlock)
            (hasDependency ?Program1 ?Program2)
            (instance ?Process1 ComputerProcess)
            (programRunning ?Process1 ?Program1)
            (instance ?Process2 ComputerProcess)
            (programRunning ?Process2 ?Program2)
            (equal
                (WhenFn ?Process2) ?Time2)
            (finishes ?Time ?Time1)
            (equal
                (WhenFn ?Process2) ?Time2)
            (equal
                (BeginFn ?Time)
                (EndFn ?Time2))))
    (duration ?Time ?Delay))
QoSontology.kif 1249-1263
(=>
    (instance ?Shutdown ShutdownBlock)
    (exists (?Application)
        (shutdownOf ?Shutdown ?Application)))
QoSontology.kif 400-403

consequent
-------------------------


(=>
    (dependencyType ?Program ?Type)
    (or
        (equal ?Type StartupBlock)
        (equal ?Type ShutdownBlock)))
QoSontology.kif 1206-1210


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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners