| 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 | Le nombre 1 argument de task est une instance de ComputerProcess |
| (domain task 2 ProcessTask) | QoSontology.kif 1953-1953 | Le nombre 2 argument de task est une instance de ProcessTask |
| (instance task AsymmetricRelation) | QoSontology.kif 1951-1951 | task est une instance de relation asym�trique |
| (instance task BinaryPredicate) | QoSontology.kif 1950-1950 | task est une instance de pr�dicat binaire |
| 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 56991-56991 | |
| (termFormat ChineseTraditionalLanguage task "任務") | domainEnglishFormat.kif 56990-56990 | |
| (termFormat EnglishLanguage task "task") | domainEnglishFormat.kif 56989-56989 |
| 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