StartupFn |
appearance as argument number 1 |
(documentation StartupFn EnglishLanguage "(StartupFn ?Program) returns an instance of StartupBlock which contains the instructions to start the ?Program.") | QoSontology.kif 403-404 | |
(domain StartupFn 1 ComputerProgram) | QoSontology.kif 401-401 | Die Zahl 1 Argument von StartupFn ist ein fall von ComputerProgram %n{nicht} |
(instance StartupFn UnaryFunction) | QoSontology.kif 400-400 | StartupFn ist ein fall von UnaryFunction %n{nicht} |
(range StartupFn StartupBlock) | QoSontology.kif 402-402 | bildbereich von StartupFn ist ein fall von StartupBlock {nicht} |
appearance as argument number 2 |
(format ChineseLanguage StartupFn "%1 的 startup ") | domainEnglishFormat.kif 2343-2343 | |
(format ChineseTraditionalLanguage StartupFn "%1 的 startup ") | domainEnglishFormat.kif 2342-2342 | |
(format EnglishLanguage StartupFn "the startup of %1") | domainEnglishFormat.kif 2341-2341 | |
(termFormat ChineseLanguage StartupFn "启动") | domainEnglishFormat.kif 55086-55086 | |
(termFormat ChineseTraditionalLanguage StartupFn "啟動") | domainEnglishFormat.kif 55085-55085 | |
(termFormat EnglishLanguage StartupFn "startup") | domainEnglishFormat.kif 55084-55084 |
consequent |