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 ComputerResource est une sous-classe de ComputationalSystem

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


(subclass NetworkResource ComputerResource) QoSontology.kif 1821-1821 NetworkResource est une sous-classe de 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 Le nombre 2 argument de resourceUsed est une instance de ComputerResource

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