ComputerTask - Sigma Knowledge base Browser

appearance as argument number 1

(subclass ComputerTask ComputerProcess)	QoSontology.kif 1918-1918	Computer task is a subclass of computer process
(documentation ComputerTask EnglishLanguage "In a multitasking environment, an independently running program or subprogram. Each task is assigned a task number.")	QoSontology.kif 1919-1921	Computer task is a subclass of computer process

appearance as argument number 2

(termFormat EnglishLanguage ComputerTask "computer task")	domainEnglishFormat.kif 16434-16434
(termFormat ChineseTraditionalLanguage ComputerTask "電腦任務")	domainEnglishFormat.kif 16435-16435
(termFormat ChineseLanguage ComputerTask "电脑任务")	domainEnglishFormat.kif 16436-16436

antecedent

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

If X is an instance of computer task, then there exist Y, Z such that X is a part of Z, Z is an instance of multitasking, and Y is a program running of X