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

Formal Language: 



KB Term:  Term intersection
English Word: 

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 402-404
(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 401-401

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


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

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


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

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 1265-1279
(=>
    (instance ?Shutdown ShutdownBlock)
    (exists (?Application)
        (shutdownOf ?Shutdown ?Application)))
QoSontology.kif 415-418

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


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


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