|
|
   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 1800-1802 | |
| (subclass ComputerTask ComputerProcess) | QoSontology.kif 1799-1799 | Computer task is a subclass of computer process |
| appearance as argument number 2 |
|
|
| (termFormat ChineseLanguage ComputerTask "电脑任务") | domainEnglishFormat.kif 16425-16425 | |
| (termFormat ChineseTraditionalLanguage ComputerTask "電腦任務") | domainEnglishFormat.kif 16424-16424 | |
| (termFormat EnglishLanguage ComputerTask "computer task") | domainEnglishFormat.kif 16423-16423 |
| antecedent |
|
|
| (=> (instance ?Task ComputerTask) (exists (?Program ?Process) (and (part ?Task ?Process) (instance ?Process Multitasking) (programRunning ?Task ?Program)))) |
QoSontology.kif 1804-1810 |
|
|
|
|