Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| task |
| appearance as argument number 1 |
|
| (instance task BinaryPredicate) | QoSontology.kif 2074-2074 | task is an instance of binary predicate |
| (instance task AsymmetricRelation) | QoSontology.kif 2075-2075 | task is an instance of asymmetric relation |
| (domain task 1 ComputerProcess) | QoSontology.kif 2076-2076 | The number 1 argument of task is an instance of computer process |
| (domain task 2 ProcessTask) | QoSontology.kif 2077-2077 | The number 2 argument of task is an instance of process task |
| (documentation task EnglishLanguage "(task ?Process ?Task) means that ?Task is a function to be performed by the ComputerProcess ?Process.") | QoSontology.kif 2078-2079 | The number 2 argument of task is an instance of process task |
| appearance as argument number 2 |
|
|
| (format EnglishLanguage task "%2 is %n a task of %1") | domainEnglishFormat.kif 2445-2445 | |
| (format ChineseTraditionalLanguage task "%2 %n 是 %1 的 task ") | domainEnglishFormat.kif 2446-2446 | |
| (format ChineseLanguage task "%2 %n 是 %1 的 task ") | domainEnglishFormat.kif 2447-2447 | |
| (termFormat EnglishLanguage task "task") | domainEnglishFormat.kif 56984-56984 | |
| (termFormat ChineseTraditionalLanguage task "任務") | domainEnglishFormat.kif 56985-56985 | |
| (termFormat ChineseLanguage task "任务") | domainEnglishFormat.kif 56986-56986 |
| consequent |
|
|
| (=> (instance ?Task ProcessTask) (exists (?Process) (task ?Process ?Task))) |
QoSontology.kif 2069-2072 | If X is an instance of process task, then there exists Y such that X is a task of Y |
|