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 1960-1961
(domain task 1 ComputerProcess) QoSontology.kif 1958-1958 The number 1 argument of task is an instance of computer process
(domain task 2 ProcessTask) QoSontology.kif 1959-1959 The number 2 argument of task is an instance of process task
(instance task AsymmetricRelation) QoSontology.kif 1957-1957 task is an instance of asymmetric relation
(instance task BinaryPredicate) QoSontology.kif 1956-1956 task is an instance of binary predicate

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


(format ChineseLanguage task "%2 %n 是 %1 的 task ") domainEnglishFormat.kif 2439-2439
(format ChineseTraditionalLanguage task "%2 %n 是 %1 的 task ") domainEnglishFormat.kif 2438-2438
(format EnglishLanguage task "%2 is %n a task of %1") domainEnglishFormat.kif 2437-2437
(termFormat ChineseLanguage task "任务") domainEnglishFormat.kif 56903-56903
(termFormat ChineseTraditionalLanguage task "任務") domainEnglishFormat.kif 56902-56902
(termFormat EnglishLanguage task "task") domainEnglishFormat.kif 56901-56901

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


(=>
    (instance ?Task ProcessTask)
    (exists (?Process)
        (task ?Process ?Task)))		 QoSontology.kif 1951-1954


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