TreeView Knowledge Base Browser

appearance as argument number 1

(subclass ProcessTask Abstract)	QoSontology.kif 2066-2066	Process task is a subclass of abstract
(documentation ProcessTask EnglishLanguage "A function to be performed.")	QoSontology.kif 2067-2067	Process task is a subclass of abstract

appearance as argument number 2

(subclass Optimization ProcessTask)	QoSontology.kif 2131-2131	Optimization is a subclass of process task
(subclass SatisfyingRequirements ProcessTask)	QoSontology.kif 2139-2139	Satisfying requirements is a subclass of process task
(termFormat EnglishLanguage ProcessTask "process task")	domainEnglishFormat.kif 47545-47545	Satisfying requirements is a subclass of process task
(termFormat ChineseTraditionalLanguage ProcessTask "流程任務")	domainEnglishFormat.kif 47546-47546	Satisfying requirements is a subclass of process task
(termFormat ChineseLanguage ProcessTask "流程任务")	domainEnglishFormat.kif 47547-47547	Satisfying requirements is a subclass of process task

appearance as argument number 3

(domain task 2 ProcessTask)

The number 2 argument of task is an instance of process task

antecedent

(=>
    (instance ?Task ProcessTask)
    (exists (?Process)
        (task ?Process ?Task)))

If X is an instance of process task, then there exists Y such that X is a task of Y