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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - StartupBlock
StartupBlock(startup block)

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


s__documentation(s__StartupBlock,s__EnglishLanguage,'"A typically small instance of ComputerProgram (a sequence of instructions that will run on a computer) whose function is to load and initialize a typically larger instance of ComputerProgram and start it running."')

QoSontology.kif 364-367
s__instance(s__StartupBlock,s__Class)

s__instance(s__ComputerProgram,s__Class)

s__subclass(s__StartupBlock,s__ComputerProgram)

QoSontology.kif 363-363 Startup block is a subclass of computer program

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


s__range(s__StartupFn__m,s__StartupBlock)

QoSontology.kif 400-400 The range of startup is an instance of startup block
s__termFormat(s__ChineseLanguage,s__StartupBlock,'"启动块"')

domainEnglishFormat.kif 55059-55059
s__termFormat(s__ChineseTraditionalLanguage,s__StartupBlock,'"啟動塊"')

domainEnglishFormat.kif 55058-55058
s__termFormat(s__EnglishLanguage,s__StartupBlock,'"startup block"')

domainEnglishFormat.kif 55057-55057

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


s__domain(s__startupOf__m,n__1,s__StartupBlock)

QoSontology.kif 370-370 The number 1 argument of startup of is an instance of startup 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__StartupBlock) &
                 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__starts(V__Time2,V__Time)
       &
       (s__WhenFn(V__Process1)
       = V__Time1)
     &
     (s__EndFn(V__Time)
     = s__BeginFn(V__Time1))))))
=>
(s__duration(V__Time,V__Delay)))))
)
)

QoSontology.kif 1259-1273
( ! [V__Startup] :
   ((s__instance(V__Startup,s__StartupBlock) =>
       (( ? [V__Application] :
           ((s__instance(V__Application,s__ComputerProgram) &
               s__startupOf(V__Startup,V__Application))))))
   )
)

QoSontology.kif 378-381

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