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

Formal Language: 



KB Term:  Term intersection
English Word: 

  ReusingAResource

Sigma KEE - ReusingAResource
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 ReusingAResource est une sous-classe de ComputerProcess

appearance as argument number 2
-------------------------


(termFormat ChineseLanguage ReusingAResource "重用资源") domainEnglishFormat.kif 49862-49862
(termFormat ChineseTraditionalLanguage ReusingAResource "重用資源") domainEnglishFormat.kif 49861-49861
(termFormat EnglishLanguage ReusingAResource "reusingA resource") domainEnglishFormat.kif 49860-49860

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


(=>
    (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
(=>
    (instance ?Using ReusingAResource)
    (exists (?Resource)
        (resourceUsed ?Using ?Resource)))
QoSontology.kif 1976-1979


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