TreeView Knowledge Base Browser

appearance as argument number 1

(instance task BinaryPredicate)	QoSontology.kif 2074-2074	task is an instance of binary predicate
(instance task AsymmetricRelation)	QoSontology.kif 2075-2075	task is an instance of asymmetric relation
(domain task 1 ComputerProcess)	QoSontology.kif 2076-2076	The number 1 argument of task is an instance of computer process
(domain task 2 ProcessTask)	QoSontology.kif 2077-2077	The number 2 argument of task is an instance of process task
(documentation task EnglishLanguage "(task ?Process ?Task) means that ?Task is a function to be performed by the ComputerProcess ?Process.")	QoSontology.kif 2078-2079	The number 2 argument of task is an instance of process task

appearance as argument number 2

(format EnglishLanguage task "%2 is %n a task of %1")	domainEnglishFormat.kif 2445-2445
(format ChineseTraditionalLanguage task "%2 %n 是 %1 的 task ")	domainEnglishFormat.kif 2446-2446
(format ChineseLanguage task "%2 %n 是 %1 的 task ")	domainEnglishFormat.kif 2447-2447
(termFormat EnglishLanguage task "task")	domainEnglishFormat.kif 56984-56984
(termFormat ChineseTraditionalLanguage task "任務")	domainEnglishFormat.kif 56985-56985
(termFormat ChineseLanguage task "任务")	domainEnglishFormat.kif 56986-56986

consequent

(=>
    (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