TreeView Knowledge Base Browser

appearance as argument number 2

(range ShutdownFn ShutdownBlock)	QoSontology.kif 435-435	The range of shutdown is an instance of shutdown block
(termFormat EnglishLanguage ShutdownBlock "shutdown block")	domainEnglishFormat.kif 52899-52899	The range of shutdown is an instance of shutdown block
(termFormat ChineseTraditionalLanguage ShutdownBlock "關機塊")	domainEnglishFormat.kif 52900-52900	The range of shutdown is an instance of shutdown block
(termFormat ChineseLanguage ShutdownBlock "关机块")	domainEnglishFormat.kif 52901-52901	The range of shutdown is an instance of shutdown block

appearance as argument number 3

(domain shutdownOf 1 ShutdownBlock)

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

antecedent

(=> (instance ?Shutdown ShutdownBlock) (exists (?Application) (shutdownOf ?Shutdown ?Application)))	QoSontology.kif 413-416	If X is an instance of shutdown block, then there exists Y such that Y is a shutdown of X
(=> (and (dependencyDelay ?Program1 ?Delay) (dependencyType ?Program1 ShutdownBlock) (hasDependency ?Program1 ?Program2) (instance ?Process1 ComputerProcess) (programRunning ?Process1 ?Program1) (instance ?Process2 ComputerProcess) (programRunning ?Process2 ?Program2) (equal (WhenFn ?Process2) ?Time2) (finishes ?Time ?Time1) (equal (WhenFn ?Process2) ?Time2) (equal (BeginFn ?Time) (EndFn ?Time2))) (duration ?Time ?Delay))	QoSontology.kif 1369-1386	If All of the following hold: (1) X is a dependency delay of Y (2) shutdown 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) T finishes S (10) equal the time of existence of V and U (11) equal the beginning of T and the end of U, then duration of T is X

consequent

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

(subclass ShutdownBlock ComputerProgram)	QoSontology.kif 399-399	Shutdown block is a subclass of computer program
(documentation ShutdownBlock EnglishLanguage "A typically small instance of ComputerProgram whose function is to end a typically larger instance of ComputerProgram.")	QoSontology.kif 400-402	Shutdown block is a subclass of computer program
(externalImage ShutdownBlock "http://upload.wikimedia.org/wikipedia/en/4/ 42/ Mac_OS_X_power_dialog.png")	pictureList.kif 8711-8711	Shutdown block is a subclass of computer program
(externalImage ShutdownBlock "http://upload.wikimedia.org/wikipedia/en/5/ 5e/ Windows_XP_Shutdown.png")	pictureList.kif 9656-9656	Shutdown block is a subclass of computer program