| 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 | ReusingA resource is a subclass of computer process |
| appearance as argument number 2 |
|
|
| (termFormat ChineseLanguage ReusingAResource "重用资源") | domainEnglishFormat.kif 49902-49902 | |
| (termFormat ChineseTraditionalLanguage ReusingAResource "重用資源") | domainEnglishFormat.kif 49901-49901 | |
| (termFormat EnglishLanguage ReusingAResource "reusingA resource") | domainEnglishFormat.kif 49900-49900 |
| 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 |
|
|
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