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

Formal Language: 



KB Term:  Term intersection
English Word: 

  FossilFuel

 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 2060-2061
(domain task 1 ComputerProcess) QoSontology.kif 2058-2058
(domain task 2 ProcessTask) QoSontology.kif 2059-2059
(instance task AsymmetricRelation) QoSontology.kif 2057-2057
(instance task BinaryPredicate) QoSontology.kif 2056-2056

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 57024-57024
(termFormat ChineseTraditionalLanguage task "任務") domainEnglishFormat.kif 57023-57023
(termFormat EnglishLanguage task "task") domainEnglishFormat.kif 57022-57022

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


(=>
    (instance ?Task ProcessTask)
    (exists (?Process)
        (task ?Process ?Task)))		 QoSontology.kif 2051-2054


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