| appearance as argument number 1 |
|
| (documentation UsingAResource EnglishLanguage "A ComputerProcess which requires access to a ComputerResource.") | QoSontology.kif 2064-2065 | |
| (subclass UsingAResource ComputerProcess) | QoSontology.kif 2063-2063 |
| appearance as argument number 2 |
|
|
| (termFormat ChineseLanguage UsingAResource "使用A资源") | domainEnglishFormat.kif 60897-60897 | |
| (termFormat ChineseTraditionalLanguage UsingAResource "使用A資源") | domainEnglishFormat.kif 60896-60896 | |
| (termFormat EnglishLanguage UsingAResource "usingA resource") | domainEnglishFormat.kif 60895-60895 |
| antecedent |
|
|
| (=> (and (instance ?Using UsingAResource) (resourceUsed ?Using ?Resource) (agent ?Using ?Agent)) (uses ?Resource ?Agent)) |
QoSontology.kif 2072-2077 | |
| (=> (instance ?Using UsingAResource) (exists (?Resource) (resourceUsed ?Using ?Resource))) |
QoSontology.kif 2067-2070 |
| consequent |
|
|
| (=> (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 |
|
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