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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - UsingAResource
UsingAResource

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 60874-60874
(termFormat ChineseTraditionalLanguage UsingAResource "使用A資源") domainEnglishFormat.kif 60873-60873
(termFormat EnglishLanguage UsingAResource "usingA resource") domainEnglishFormat.kif 60872-60872

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