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 |
appearance as argument number 2 |
(termFormat ChineseLanguage UsingAResource "使用A资源") | domainEnglishFormat.kif 60874-60874 | |
(termFormat ChineseTraditionalLanguage UsingAResource "使用A資源") | domainEnglishFormat.kif 60873-60873 | |
(termFormat EnglishLanguage UsingAResource "usingA resource") | domainEnglishFormat.kif 60872-60872 |
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 |