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

Formal Language: 



KB Term:  Term intersection
English Word: 

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 ComputerResource è una sottoclasse di ComputationalSystem

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


(subclass NetworkResource ComputerResource) QoSontology.kif 1821-1821 NetworkResource è una sottoclasse di ComputerResource
(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 Il numero 2 argomenti di resourceUsed è un istanza di ComputerResource

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


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


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