programRunning |
appearance as argument number 1 |
(documentation programRunning EnglishLanguage "(programRunning ?Process ?Program) means that the ComputerProcess ?Process is executing the ComputerProgram ?Program.") | QoSontology.kif 210-212 | |
(domain programRunning 1 ComputerProcess) | QoSontology.kif 208-208 | Il numero 1 argomenti di programRunning è un istanza di ComputerProcess |
(domain programRunning 2 ComputerProgram) | QoSontology.kif 209-209 | Il numero 2 argomenti di programRunning è un istanza di ProgrammaDiComputer |
(instance programRunning BinaryPredicate) | QoSontology.kif 207-207 | programRunning è un' istanza di PredicatoBinario |
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 47648-47648 | |
(termFormat ChineseTraditionalLanguage programRunning "程序運行") | domainEnglishFormat.kif 47647-47647 | |
(termFormat EnglishLanguage programRunning "program running") | domainEnglishFormat.kif 47646-47646 |
antecedent |
consequent |