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

Formal Language: 



KB Term:  Term intersection
English Word: 

  ComputerResource

Sigma KEE - ComputerResource
ComputerResource

appearance as argument number 1
-------------------------


(documentation ComputerResource EnglishLanguage "One element of hardware, software or data that is part of a larger system. For example, network resources are the available servers and printers in the network. Software resources can be programs, utilities or even smaller elements within a program. Data resources are the files and databases that can be accessed.") QoSontology.kif 1808-1812
(subclass ComputerResource ComputationalSystem) QoSontology.kif 1807-1807

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


(subclass NetworkResource ComputerResource) QoSontology.kif 1821-1821
(termFormat ChineseLanguage ComputerResource "计算机资源") domainEnglishFormat.kif 16374-16374
(termFormat ChineseTraditionalLanguage ComputerResource "計算機資源") domainEnglishFormat.kif 16373-16373
(termFormat EnglishLanguage ComputerResource "computer resource") domainEnglishFormat.kif 16372-16372

appearance as argument number 3
-------------------------


(domain resourceUsed 2 ComputerResource) QoSontology.kif 1995-1995

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


(=>
    (instance ?Resource ComputerResource)
    (exists (?System)
        (and
            (instance ?System ComputationalSystem)
            (part ?Resource ?System))))
QoSontology.kif 1814-1819


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