UsingAResource
|
|
appearance as argument number 1 |
(documentation UsingAResource EnglishLanguage "A ComputerProcess which requires access to a ComputerResource.") | QoSontology.kif 1958-1959 | |
(subclass UsingAResource ComputerProcess) | QoSontology.kif 1957-1957 | UsingAResource est une sous-classe de ComputerProcess |
appearance as argument number 2 |
(termFormat ChineseLanguage UsingAResource "使用A资源") | domainEnglishFormat.kif 60872-60872 | |
(termFormat ChineseTraditionalLanguage UsingAResource "使用A資源") | domainEnglishFormat.kif 60871-60871 | |
(termFormat EnglishLanguage UsingAResource "usingA resource") | domainEnglishFormat.kif 60870-60870 |
antecedent |
(=> (and (instance ?Using UsingAResource) (resourceUsed ?Using ?Resource) (agent ?Using ?Agent)) (uses ?Resource ?Agent)) |
QoSontology.kif 1966-1971 | |
(=> (instance ?Using UsingAResource) (exists (?Resource) (resourceUsed ?Using ?Resource))) |
QoSontology.kif 1961-1964 |
consequent |
(=> (and (instance ?Reusing ReusingAResource) (resourceUsed ?Reusing ?Resource)) (exists (?Using) (and (instance ?Using UsingAResource) (resourceUsed ?Using ?Resource) (earlier (WhenFn ?Using) (WhenFn ?Reusing))))) |
QoSontology.kif 1981-1989 |
|