| appearance as argument number 1 |
|
| (documentation UsingAResource EnglishLanguage "A ComputerProcess which requires access to a ComputerResource.") | QoSontology.kif 1958-1959 | |
| (subclass UsingAResource ComputerProcess) | QoSontology.kif 1957-1957 |
| appearance as argument number 2 |
|
|
| (termFormat ChineseLanguage UsingAResource "使用A资源") | domainEnglishFormat.kif 60884-60884 | |
| (termFormat ChineseTraditionalLanguage UsingAResource "使用A資源") | domainEnglishFormat.kif 60883-60883 | |
| (termFormat EnglishLanguage UsingAResource "usingA resource") | domainEnglishFormat.kif 60882-60882 |
| antecedent |
|
|
| (=> (and (instance ?Using UsingAResource) (resourceUsed ?Using ?Resource) (agent ?Using ?Agent)) (uses ?Resource ?Agent)) |
QoSontology.kif 1966-1971 | |
| (=> (instance ?Using UsingAResource) (exists (?Resource) (resourceUsed ?Using ?Resource))) |
QoSontology.kif 1961-1964 |
| consequent |
|
|
| (=> (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 |
|
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