Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 

KB Term:  Term intersection
English Word: 


Sigma KEE - UsingAResource
UsingAResource(usingA resource)

appearance as argument number 1

(documentation UsingAResource EnglishLanguage "A ComputerProcess which requires access to a ComputerResource.") QoSontology.kif 1963-1964
(subclass UsingAResource ComputerProcess) QoSontology.kif 1962-1962 UsingA resource is a subclass of computer process

appearance as argument number 2

(termFormat ChineseLanguage UsingAResource "使用A资源") domainEnglishFormat.kif 60839-60839
(termFormat ChineseTraditionalLanguage UsingAResource "使用A資源") domainEnglishFormat.kif 60838-60838
(termFormat EnglishLanguage UsingAResource "usingA resource") domainEnglishFormat.kif 60837-60837


        (instance ?Using UsingAResource)
        (resourceUsed ?Using ?Resource)
        (agent ?Using ?Agent))
    (uses ?Agent ?Resource))
QoSontology.kif 1971-1976
    (instance ?Using UsingAResource)
    (exists (?Resource)
        (resourceUsed ?Using ?Resource)))
QoSontology.kif 1966-1969


        (instance ?Reusing ReusingAResource)
        (resourceUsed ?Reusing ?Resource))
    (exists (?Using)
            (instance ?Using UsingAResource)
            (resourceUsed ?Using ?Resource)
                (WhenFn ?Using)
                (WhenFn ?Reusing)))))
QoSontology.kif 1986-1994

Show simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree

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