Browsing Interface : Welcome guest : log in 		[  Home |  Graph |  LogLearn |  Editor |  ]  KB:  Language: 
  Formal Language: 


KB Term:  Term intersection
English Word: 

Sigma KEE - StartupBlock
StartupBlock(startup block)

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


(subclass StartupBlock ComputerProgram) QoSontology.kif 358-358 Startup block is a subclass of computer program
(documentation StartupBlock 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 359-362 Startup block is a subclass of computer program

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


(range StartupFn StartupBlock) QoSontology.kif 395-395 The range of startup is an instance of startup block
(termFormat EnglishLanguage StartupBlock "startup block") domainEnglishFormat.kif 55075-55075 The range of startup is an instance of startup block
(termFormat ChineseTraditionalLanguage StartupBlock "啟動塊") domainEnglishFormat.kif 55076-55076 The range of startup is an instance of startup block
(termFormat ChineseLanguage StartupBlock "启动块") domainEnglishFormat.kif 55077-55077 The range of startup is an instance of startup block

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


(domain startupOf 1 StartupBlock) QoSontology.kif 365-365 The number 1 argument of startup of is an instance of startup block

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


(=>
    (instance ?Startup StartupBlock)
    (exists (?Application)
        (startupOf ?Startup ?Application)))		 QoSontology.kif 373-376 If X is an instance of startup block, then there exists Y such that Y is a startup of X
(=>
    (and
        (dependencyDelay ?Program1 ?Delay)
        (dependencyType ?Program1 StartupBlock)
        (hasDependency ?Program1 ?Program2)
        (instance ?Process1 ComputerProcess)
        (programRunning ?Process1 ?Program1)
        (instance ?Process2 ComputerProcess)
        (programRunning ?Process2 ?Program2)
        (equal
            (WhenFn ?Process2) ?Time2)
        (starts ?Time2 ?Time)
        (equal
            (WhenFn ?Process1) ?Time1)
        (equal
            (EndFn ?Time)
            (BeginFn ?Time1)))
    (duration ?Time ?Delay))		 QoSontology.kif 1350-1367 If All of the following hold: (1) X is a dependency delay of Y (2) startup block is a dependency type of Y (3) Z has a dependency on Y (4) W is an instance of computer process (5) Y is a program running of W (6) V is an instance of computer process (7) Z is a program running of V (8) equal the time of existence of V and U (9) U starts T (10) equal the time of existence of W and S (11) equal the end of T and the beginning of S, then duration of T is X