| appearance as argument number 1 |
|
| (documentation ReusingAResource EnglishLanguage "To use the same resource again.") | QoSontology.kif 2105-2105 | |
| (subclass ReusingAResource ComputerProcess) | QoSontology.kif 2104-2104 |
| appearance as argument number 2 |
|
|
| (termFormat ChineseLanguage ReusingAResource "重用资源") | domainEnglishFormat.kif 49866-49866 | |
| (termFormat ChineseTraditionalLanguage ReusingAResource "重用資源") | domainEnglishFormat.kif 49865-49865 | |
| (termFormat EnglishLanguage ReusingAResource "reusing a resource") | domainEnglishFormat.kif 49864-49864 |
| antecedent |
|
|
| (=> (and (instance ?Reusing ReusingAResource) (resourceUsed ?Reusing ?Resource)) (exists (?Using) (and (instance ?Using UsingAResource) (resourceUsed ?Using ?Resource) (earlier (WhenFn ?Using) (WhenFn ?Reusing))))) |
QoSontology.kif 2112-2120 | |
| (=> (instance ?Using ReusingAResource) (exists (?Resource) (resourceUsed ?Using ?Resource))) |
QoSontology.kif 2107-2110 |
|
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