|
|
   ReusingAResource
|
|
|
| appearance as argument number 1 |
|
|
| (documentation ReusingAResource EnglishLanguage "To use the same resource again.") | QoSontology.kif 1974-1974 | |
| (subclass ReusingAResource ComputerProcess) | QoSontology.kif 1973-1973 | ReusingAResource è una sottoclasse di ComputerProcess |
| appearance as argument number 2 |
|
|
| (termFormat ChineseLanguage ReusingAResource "重用资源") | domainEnglishFormat.kif 49864-49864 | |
| (termFormat ChineseTraditionalLanguage ReusingAResource "重用資源") | domainEnglishFormat.kif 49863-49863 | |
| (termFormat EnglishLanguage ReusingAResource "reusingA resource") | domainEnglishFormat.kif 49862-49862 |
| antecedent |
|
|
| (=> (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 |
|
| (=> (instance ?Using ReusingAResource) (exists (?Resource) (resourceUsed ?Using ?Resource))) |
QoSontology.kif 1976-1979 |
|
|
|