| 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 | The number 1 argument of task is an instance of computer process |
| (domain task 2 ProcessTask) | QoSontology.kif 2059-2059 | The number 2 argument of task is an instance of process task |
| (instance task AsymmetricRelation) | QoSontology.kif 2057-2057 | task is an instance of asymmetric relation |
| (instance task BinaryPredicate) | QoSontology.kif 2056-2056 | task is an instance of binary predicate |
| 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 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