| appearance as argument number 1 |
|
| (documentation UsingAResource EnglishLanguage "A ComputerProcess which requires access to a ComputerResource.") | QoSontology.kif 2089-2090 | |
| (subclass UsingAResource ComputerProcess) | QoSontology.kif 2088-2088 |
| appearance as argument number 2 |
|
|
| (termFormat ChineseLanguage UsingAResource "使用A资源") | domainEnglishFormat.kif 60895-60895 | |
| (termFormat ChineseTraditionalLanguage UsingAResource "使用A資源") | domainEnglishFormat.kif 60894-60894 | |
| (termFormat EnglishLanguage UsingAResource "using a resource") | domainEnglishFormat.kif 60893-60893 |
| antecedent |
|
|
| (=> (and (instance ?Using UsingAResource) (resourceUsed ?Using ?Resource) (agent ?Using ?Agent)) (uses ?Resource ?Agent)) |
QoSontology.kif 2097-2102 | |
| (=> (instance ?Using UsingAResource) (exists (?Resource) (resourceUsed ?Using ?Resource))) |
QoSontology.kif 2092-2095 |
| consequent |
|
|
| (=> (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 |
|
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