TreeView Knowledge Base Browser

appearance as argument number 1

(documentation ShutdownFn EnglishLanguage "(ShutdownFn ?Program) returns an instance of ShutdownBlock which contains the instructions to end ?PROGRAM.")	QoSontology.kif 443-444
(domain ShutdownFn 1 ComputerProgram)	QoSontology.kif 441-441	关掉的 1 数量是电脑程序的 instance
(instance ShutdownFn UnaryFunction)	QoSontology.kif 440-440	关掉是一元函数的 instance
(range ShutdownFn ShutdownBlock)	QoSontology.kif 442-442	关掉的 range 是关机块的实例

appearance as argument number 2

(format ChineseLanguage ShutdownFn "%1 的 shutdown ")	domainEnglishFormat.kif 2287-2287
(format ChineseTraditionalLanguage ShutdownFn "%1 的 shutdown ")	domainEnglishFormat.kif 2286-2286
(format EnglishLanguage ShutdownFn "the shutdown of %1")	domainEnglishFormat.kif 2285-2285
(termFormat ChineseLanguage ShutdownFn "关掉")	domainEnglishFormat.kif 52910-52910
(termFormat ChineseTraditionalLanguage ShutdownFn "關掉")	domainEnglishFormat.kif 52909-52909
(termFormat EnglishLanguage ShutdownFn "shutdown")	domainEnglishFormat.kif 52908-52908