programRunning |
appearance as argument number 1 |
![]() |
(documentation programRunning EnglishLanguage "(programRunning ?Process ?Program) means that the ComputerProcess ?Process is executing the ComputerProgram ?Program.") | QoSontology.kif 208-210 | |
(domain programRunning 1 ComputerProcess) | QoSontology.kif 206-206 | domain programRunning, 1 and ComputerProcess |
(domain programRunning 2 ComputerProgram) | QoSontology.kif 207-207 | domain programRunning, 2 and ComputerProgram |
(instance programRunning BinaryPredicate) | QoSontology.kif 205-205 | instance programRunning and BinaryPredicate |
appearance as argument number 2 |
![]() |
(format ChineseLanguage programRunning "%2 %n 是 %1 的执行 program ") | domainEnglishFormat.kif 2071-2071 | |
(format ChineseTraditionalLanguage programRunning "%2 %n 是 %1 的執行 program ") | domainEnglishFormat.kif 2070-2070 | |
(format EnglishLanguage programRunning "%2 is %n a program running of %1") | domainEnglishFormat.kif 2069-2069 | |
(termFormat ChineseLanguage programRunning "程序运行") | domainEnglishFormat.kif 47587-47587 | termFormat ChineseLanguage, programRunning and "程序运行" |
(termFormat ChineseTraditionalLanguage programRunning "程序運行") | domainEnglishFormat.kif 47586-47586 | termFormat ChineseTraditionalLanguage, programRunning and "程序運行" |
(termFormat EnglishLanguage programRunning "program running") | domainEnglishFormat.kif 47585-47585 | termFormat EnglishLanguage, programRunning and "program running" |
antecedent |
![]() |
consequent |
![]() |
![]() |
![]() |