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

Formal Language: 

KB Term:  Term intersection
English Word: 


Sigma KEE - ReusingAResource
ReusingAResource(reusingA resource)

appearance as argument number 1

(documentation ReusingAResource EnglishLanguage "To use the same resource again.") QoSontology.kif 1979-1979
(subclass ReusingAResource ComputerProcess) QoSontology.kif 1978-1978 ReusingA resource is a subclass of computer process

appearance as argument number 2

(termFormat ChineseLanguage ReusingAResource "重用资源") domainEnglishFormat.kif 49845-49845
(termFormat ChineseTraditionalLanguage ReusingAResource "重用資源") domainEnglishFormat.kif 49844-49844
(termFormat EnglishLanguage ReusingAResource "reusingA resource") domainEnglishFormat.kif 49843-49843


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

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