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

Formal Language: 



KB Term:  Term intersection
English Word: 

  ReusingAResource

 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

antecedent
-------------------------


(=>
    (and
        (instance ?Reusing ReusingAResource)
        (resourceUsed ?Reusing ?Resource))
    (exists (?Using)
        (and
            (instance ?Using UsingAResource)
            (resourceUsed ?Using ?Resource)
            (earlier
                (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