Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| StartupFn |
| appearance as argument number 1 |
|
| (instance StartupFn UnaryFunction) | QoSontology.kif 393-393 | Startup is an instance of unary function |
| (domain StartupFn 1 ComputerProgram) | QoSontology.kif 394-394 | The number 1 argument of startup is an instance of computer program |
| (range StartupFn StartupBlock) | QoSontology.kif 395-395 | The range of startup is an instance of startup block |
| (documentation StartupFn EnglishLanguage "(StartupFn ?Program) returns an instance of StartupBlock which contains the instructions to start the ?Program.") | QoSontology.kif 396-397 | The range of startup is an instance of startup block |
| appearance as argument number 2 |
|
|
| (format EnglishLanguage StartupFn "the startup of %1") | domainEnglishFormat.kif 2345-2345 | |
| (format ChineseTraditionalLanguage StartupFn "%1 的 startup ") | domainEnglishFormat.kif 2346-2346 | |
| (format ChineseLanguage StartupFn "%1 的 startup ") | domainEnglishFormat.kif 2347-2347 | |
| (termFormat EnglishLanguage StartupFn "startup") | domainEnglishFormat.kif 55081-55081 | |
| (termFormat ChineseTraditionalLanguage StartupFn "啟動") | domainEnglishFormat.kif 55082-55082 | |
| (termFormat ChineseLanguage StartupFn "启动") | domainEnglishFormat.kif 55083-55083 |
| consequent |
|
|
| (=> (and (instance ?Application AutomaticApplication) (instance ?System SoftwareSystem) (part ?Application ?System)) (part (StartupFn ?Application) (StartupFn ?System))) |
QoSontology.kif 680-685 | If X is an instance of automatic application, Y is an instance of software system, and X is a part of Y, then the startup of X is a part of the startup of Y |
| (=> (instance ?RM RMStartApplication) (exists (?Application ?Process ?RMCopy) (and (instance ?Application ComputerProgram) (programCopy ?RMCopy ?RM) (programRunning ?Process (StartupFn ?Application)) (agent ?Process ?RMCopy)))) |
QoSontology.kif 694-701 | If X is an instance of RM start application, then there exist Y, Z, W such that Y is an instance of computer program, W is a copy of X, the startup of Y is a program running of Z, and W is an agent of Z |
|