StartupBlock - Sigma Knowledge base Browser

appearance as argument number 1

(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 366-369
(subclass StartupBlock ComputerProgram)	QoSontology.kif 365-365	Startup block is a subclass of computer program

appearance as argument number 2

(range StartupFn StartupBlock)	QoSontology.kif 402-402	The range of startup is an instance of startup block
(termFormat ChineseLanguage StartupBlock "启动块")	domainEnglishFormat.kif 55120-55120	The range of startup is an instance of startup block
(termFormat ChineseTraditionalLanguage StartupBlock "啟動塊")	domainEnglishFormat.kif 55119-55119	The range of startup is an instance of startup block
(termFormat EnglishLanguage StartupBlock "startup block")	domainEnglishFormat.kif 55118-55118	The range of startup is an instance of startup block

appearance as argument number 3

(domain startupOf 1 StartupBlock)

QoSontology.kif 372-372

The number 1 argument of startup of is an instance of startup block

antecedent

(=> (exists (?Time1 ?Time2) (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 1254-1268	If there exist a time interval and another time interval such that a time duration is a dependency delay of a computer program and startup block is a dependency type of the computer program and another computer program has a dependency on the computer program and a computer process is an instance of computer process and the computer program is a program running of the computer process and another computer process is an instance of computer process and the other computer program is a program running of the other computer process and the time of existence of the other computer process is equal to the other time interval and the other time interval starts a third time interval and the time of existence of the computer process is equal to the time interval and the end of the third time interval is equal to the beginning of the time interval, then duration of the third time interval is the time duration
(=> (instance ?Startup StartupBlock) (exists (?Application) (startupOf ?Startup ?Application)))	QoSontology.kif 380-383	If a startup block is an instance of startup block, then there exists a computer program such that the computer program is a startup of the startup block

consequent

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

QoSontology.kif 1227-1231

If a kind of computer program is a dependency type of another computer program,
then a kind of computer program is equal to startup block or the kind of computer program is equal to shutdown block

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

KB Term:			Term intersection

English Word: