| appearance as argument number 1 |
|
| (documentation ReusingAResource EnglishLanguage "To use the same resource again.") | QoSontology.kif 2080-2080 | |
| (subclass ReusingAResource ComputerProcess) | QoSontology.kif 2079-2079 |
| appearance as argument number 2 |
|
|
| (termFormat ChineseLanguage ReusingAResource "重用资源") | domainEnglishFormat.kif 49897-49897 | |
| (termFormat ChineseTraditionalLanguage ReusingAResource "重用資源") | domainEnglishFormat.kif 49896-49896 | |
| (termFormat EnglishLanguage ReusingAResource "reusingA resource") | domainEnglishFormat.kif 49895-49895 |
| antecedent |
|
|
| (=> (and (instance ?Reusing ReusingAResource) (resourceUsed ?Reusing ?Resource)) (exists (?Using) (and (instance ?Using UsingAResource) (resourceUsed ?Using ?Resource) (earlier (WhenFn ?Using) (WhenFn ?Reusing))))) |
QoSontology.kif 2087-2095 | |
| (=> (instance ?Using ReusingAResource) (exists (?Resource) (resourceUsed ?Using ?Resource))) |
QoSontology.kif 2082-2085 |
|
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