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

Formal Language: 

KB Term:  Term intersection
English Word: 

Sigma KEE - ReusingAResource

appearance as argument number 1

(documentation ReusingAResource EnglishLanguage "To use the same resource again.") QoSontology.kif 1974-1974
(subclass ReusingAResource ComputerProcess) QoSontology.kif 1973-1973

appearance as argument number 2

(termFormat ChineseLanguage ReusingAResource "重用资源") domainEnglishFormat.kif 49874-49874
(termFormat ChineseTraditionalLanguage ReusingAResource "重用資源") domainEnglishFormat.kif 49873-49873
(termFormat EnglishLanguage ReusingAResource "reusingA resource") domainEnglishFormat.kif 49872-49872


        (instance ?Reusing ReusingAResource)
        (resourceUsed ?Reusing ?Resource))
    (exists (?Using)
            (instance ?Using UsingAResource)
            (resourceUsed ?Using ?Resource)
                (WhenFn ?Using)
                (WhenFn ?Reusing)))))
QoSontology.kif 1981-1989
    (instance ?Using ReusingAResource)
    (exists (?Resource)
        (resourceUsed ?Using ?Resource)))
QoSontology.kif 1976-1979

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