ComputerTask - Sigma Knowledge base Browser

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	Computer task is a subclass of computer process

appearance as argument number 2

(termFormat ChineseLanguage ComputerTask "电脑任务")	domainEnglishFormat.kif 16450-16450
(termFormat ChineseTraditionalLanguage ComputerTask "電腦任務")	domainEnglishFormat.kif 16449-16449
(termFormat EnglishLanguage ComputerTask "computer task")	domainEnglishFormat.kif 16448-16448

antecedent

(=>
    (instance ?Task ComputerTask)
    (exists (?Program ?Process)
        (and
            (part ?Task ?Process)
            (instance ?Process Multitasking)
            (programRunning ?Task ?Program))))

QoSontology.kif 1799-1805