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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - ShutdownBlock
ShutdownBlock(shutdown block)
shutdown_block

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 "http://upload.wikimedia.org/wikipedia/en/4/42/Mac_OS_X_power_dialog.png" is a URL depicting shutdown block
(externalImage ShutdownBlock "http://upload.wikimedia.org/wikipedia/en/5/ 5e/ Windows_XP_Shutdown.png") pictureList.kif 9675-9675 "http://upload.wikimedia.org/wikipedia/en/5/5e/Windows_XP_Shutdown.png" is a URL depicting shutdown block
(subclass ShutdownBlock ComputerProgram) QoSontology.kif 401-401 Shutdown block is a subclass of computer program

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


(range ShutdownFn ShutdownBlock) QoSontology.kif 437-437 The range of shutdown is an instance of shutdown block
(termFormat EnglishLanguage ShutdownBlock "shutdown block") domainEnglishFormat.kif 9241-9241 "shutdown block" is the printable form of shutdown block in english language

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


(domain shutdownOf 1 ShutdownBlock) QoSontology.kif 407-407 The number 1 argument of shutdown of is an instance of shutdown block

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