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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - ComputerResource
ComputerResource(computer resource)

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 Computer resource is a subclass of computational system

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


(subclass NetworkResource ComputerResource) QoSontology.kif 1821-1821 Network resource is a subclass of computer resource
(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 The number 2 argument of resource used is an instance of computer resource

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