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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - ShutdownBlock
ShutdownBlock(shutdown block)

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


s__documentation(s__ShutdownBlock,s__EnglishLanguage,'"A typically small instance of ComputerProgram whose function is to end a typically larger instance of ComputerProgram."')

QoSontology.kif 405-407
s__externalImage(s__ShutdownBlock,'"http://upload.wikimedia.org/wikipedia/en/4/ 42/ Mac_OS_X_power_dialog.png"')

pictureList.kif 8716-8716
s__externalImage(s__ShutdownBlock,'"http://upload.wikimedia.org/wikipedia/en/5/ 5e/ Windows_XP_Shutdown.png"')

pictureList.kif 9674-9674
s__instance(s__ShutdownBlock,s__SetOrClass)

s__subclass(s__ShutdownBlock,s__ComputerProgram)

s__instance(s__ComputerProgram,s__SetOrClass)

QoSontology.kif 404-404 Shutdown block is a subclass of computer program

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


s__range(s__ShutdownFn__m,s__ShutdownBlock)

QoSontology.kif 440-440 The range of shutdown is an instance of shutdown block
s__termFormat(s__ChineseLanguage,s__ShutdownBlock,'"关机块"')

domainEnglishFormat.kif 52887-52887
s__termFormat(s__ChineseTraditionalLanguage,s__ShutdownBlock,'"關機塊"')

domainEnglishFormat.kif 52886-52886
s__termFormat(s__EnglishLanguage,s__ShutdownBlock,'"shutdown block"')

domainEnglishFormat.kif 52885-52885

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


s__domain(s__shutdownOf__m,n__1,s__ShutdownBlock)

QoSontology.kif 410-410 The number 1 argument of shutdown of is an instance of shutdown block

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


( ! [V__Time,V__Process1,V__Program1,V__Process2,V__Delay,V__Program2] :
   (((s__instance(V__Time,s__TimeInterval) &
         s__instance(V__Program1,s__ComputerProgram) &
         s__instance(V__Delay,s__TimeDuration) &
         s__instance(V__Program2,s__ComputerProgram))
       =>
       ((( ? [V__Time1, V__Time2] :
             ((s__instance(V__Time1,s__TimeInterval) &
                 s__instance(V__Time2,s__TimeInterval) &
                 (s__dependencyDelay(V__Program1,V__Delay)
                 &
                 s__dependencyType(V__Program1,s__ShutdownBlock) &
                 s__hasDependency(V__Program1,V__Program2)
               &
               s__instance(V__Process1,s__ComputerProcess) &
               s__programRunning(V__Process1,V__Program1)
             &
             s__instance(V__Process2,s__ComputerProcess) &
             s__programRunning(V__Process2,V__Program2)
           &
           (s__WhenFn(V__Process2)
           = V__Time2)
         &
         s__finishes(V__Time,V__Time1)
       &
       (s__WhenFn(V__Process2)
       = V__Time2)
     &
     (s__BeginFn(V__Time)
     = s__EndFn(V__Time2))))))
=>
(s__duration(V__Time,V__Delay)))))
)
)

QoSontology.kif 1275-1289
( ! [V__Shutdown] :
   ((s__instance(V__Shutdown,s__ShutdownBlock) =>
       (( ? [V__Application] :
           ((s__instance(V__Application,s__ComputerProgram) &
               s__shutdownOf(V__Shutdown,V__Application))))))
   )
)

QoSontology.kif 418-421

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


( ! [V__Program,V__Type] :
   (((s__instance(V__Program,s__ComputerProgram) &
         s__subclass(V__Type,s__ComputerProgram))
       =>
       ((s__dependencyType(V__Program,V__Type)
         =>
         (((V__Type = s__StartupBlock) |
               (V__Type = s__ShutdownBlock))))))
       )
     )

QoSontology.kif 1232-1236


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