Browsing Interface : Welcome guest : log in		 [  Home |  Graph |  ]  KB:  Language:   

Formal Language: 


KB Term:  Term intersection
English Word: 

  task

 Sigma KEE - task
task

appearance as argument number 1
-------------------------


(documentation task EnglishLanguage "(task ?Process ?Task) means that ?Task is a function to be performed by the ComputerProcess ?Process.") QoSontology.kif 2085-2086
(domain task 1 ComputerProcess) QoSontology.kif 2083-2083 The number 1 argument of task is an instance of computer process
(domain task 2 ProcessTask) QoSontology.kif 2084-2084 The number 2 argument of task is an instance of process task
(instance task AsymmetricRelation) QoSontology.kif 2082-2082 task is an instance of asymmetric relation
(instance task BinaryPredicate) QoSontology.kif 2081-2081 task is an instance of binary predicate

appearance as argument number 2
-------------------------


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

consequent
-------------------------


(=>
    (instance ?Task ProcessTask)
    (exists (?Process)
        (task ?Process ?Task)))		 QoSontology.kif 2076-2079


Show simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree


Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0 is open source software produced by Articulate Software and its partners