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

Formal Language: 



KB Term:  Term intersection
English Word: 

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 1954-1955
(domain task 1 ComputerProcess) QoSontology.kif 1952-1952 任务 的 1 数量 是 电脑程序instance
(domain task 2 ProcessTask) QoSontology.kif 1953-1953 任务 的 2 数量 是 流程任务instance
(instance task AsymmetricRelation) QoSontology.kif 1951-1951 任务非对称关系instance
(instance task BinaryPredicate) QoSontology.kif 1950-1950 任务二元谓语instance

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


(format ChineseLanguage task "%2 %n 是 %1 的 task ") domainEnglishFormat.kif 2443-2443
(format ChineseTraditionalLanguage task "%2 %n 是 %1 的 task ") domainEnglishFormat.kif 2442-2442
(format EnglishLanguage task "%2 is %n a task of %1") domainEnglishFormat.kif 2441-2441
(termFormat ChineseLanguage task "任务") domainEnglishFormat.kif 56989-56989
(termFormat ChineseTraditionalLanguage task "任務") domainEnglishFormat.kif 56988-56988
(termFormat EnglishLanguage task "task") domainEnglishFormat.kif 56987-56987

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


(=>
    (instance ?Task ProcessTask)
    (exists (?Process)
        (task ?Process ?Task)))
QoSontology.kif 1945-1948


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



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