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 1795-1797 | |
(subclass ComputerTask ComputerProcess) | QoSontology.kif 1794-1794 | ComputerTask est une sous-classe de ComputerProcess |
appearance as argument number 2 |
(termFormat ChineseLanguage ComputerTask "电脑任务") | domainEnglishFormat.kif 16434-16434 | |
(termFormat ChineseTraditionalLanguage ComputerTask "電腦任務") | domainEnglishFormat.kif 16433-16433 | |
(termFormat EnglishLanguage ComputerTask "computer task") | domainEnglishFormat.kif 16432-16432 |
antecedent |
(=> (instance ?Task ComputerTask) (exists (?Program ?Process) (and (part ?Task ?Process) (instance ?Process Multitasking) (programRunning ?Task ?Program)))) |
QoSontology.kif 1799-1805 |
|