| 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 | |
| (domain task 2 ProcessTask) | QoSontology.kif 2084-2084 | |
| (instance task AsymmetricRelation) | QoSontology.kif 2082-2082 | |
| (instance task BinaryPredicate) | QoSontology.kif 2081-2081 |
| 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 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