ComputerTask |
appearance as argument number 1 |
(documentation ComputerTask EnglishLanguage "In a multitasking environment, an independently running program or subprogram. Each task is assigned a task number.") | QoSontology.kif 1901-1903 | |
(subclass ComputerTask ComputerProcess) | QoSontology.kif 1900-1900 |
appearance as argument number 2 |
(termFormat ChineseLanguage ComputerTask "电脑任务") | domainEnglishFormat.kif 16445-16445 | |
(termFormat ChineseTraditionalLanguage ComputerTask "電腦任務") | domainEnglishFormat.kif 16444-16444 | |
(termFormat EnglishLanguage ComputerTask "computer task") | domainEnglishFormat.kif 16443-16443 |
antecedent |
(=> (instance ?Task ComputerTask) (exists (?Program ?Process) (and (part ?Task ?Process) (instance ?Process Multitasking) (programRunning ?Task ?Program)))) |
QoSontology.kif 1905-1911 |