shutdownOf |
appearance as argument number 1 |
(documentation shutdownOf EnglishLanguage "(shutdownOf ?SHUTDOWN ?PROGRAM) holds just in case an instance of ShutdownBlock ?SHUTDOWN specifies a set of instructions to end ?PROGRAM.") | QoSontology.kif 414-416 | |
(domain shutdownOf 1 ShutdownBlock) | QoSontology.kif 412-412 | Die Zahl 1 Argument von shutdownOf ist ein fall von ShutdownBlock %n{nicht} |
(domain shutdownOf 2 ComputerProgram) | QoSontology.kif 413-413 | Die Zahl 2 Argument von shutdownOf ist ein fall von ComputerProgram %n{nicht} |
(instance shutdownOf BinaryPredicate) | QoSontology.kif 411-411 | shutdownOf ist ein fall von BinaryPredicate %n{nicht} |
appearance as argument number 2 |
(format ChineseLanguage shutdownOf "%2 %n 是 %1 的 shutdown ") | domainEnglishFormat.kif 2291-2291 | |
(format ChineseTraditionalLanguage shutdownOf "%2 %n 是 %1 的 shutdown ") | domainEnglishFormat.kif 2290-2290 | |
(format EnglishLanguage shutdownOf "%2 is %n a shutdown of %1") | domainEnglishFormat.kif 2289-2289 | |
(termFormat ChineseLanguage shutdownOf "关闭") | domainEnglishFormat.kif 52918-52918 | |
(termFormat ChineseTraditionalLanguage shutdownOf "關閉") | domainEnglishFormat.kif 52917-52917 | |
(termFormat EnglishLanguage shutdownOf "shutdown of") | domainEnglishFormat.kif 52916-52916 |
antecedent |
(=> (and (shutdownOf ?Shutdown ?Application) (instance ?Process1 ComputerProcess) (programRunning ?Process1 ?Shutdown) (equal (WhenFn ?Process1) ?Time1)) (exists (?Process2 ?Time2) (and (instance ?Process2 ComputerProcess) (programRunning ?Process2 ?Application) (equal (WhenFn ?Process2) ?Time2) (meetsTemporally ?Time2 ?Time1)))) |
QoSontology.kif 427-438 |
|
consequent |
(=> (instance ?Shutdown ShutdownBlock) (exists (?Application) (shutdownOf ?Shutdown ?Application))) |
QoSontology.kif 420-423 |
|