TreeView Knowledge Base Browser

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)

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

consequent

(=>
    (dependencyType ?Program ?Type)
    (or
        (equal ?Type StartupBlock)
        (equal ?Type ShutdownBlock)))