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

Formal Language: 



KB Term:  Term intersection
English Word: 

  NetworkResource

Sigma KEE - NetworkResource
NetworkResource(network resource)

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


(documentation NetworkResource EnglishLanguage "Network resources are the available servers and printers in the network.") QoSontology.kif 1822-1823
(externalImage NetworkResource "http://articulatesoftware.com/SUMOpictures/ computer/ hardware/ server.png") pictureList.kif 1542-1542
(subclass NetworkResource ComputerResource) QoSontology.kif 1821-1821 Network resource is a subclass of computer resource

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


(termFormat ChineseLanguage NetworkResource "网络资源") domainEnglishFormat.kif 40221-40221
(termFormat ChineseTraditionalLanguage NetworkResource "網絡資源") domainEnglishFormat.kif 40220-40220
(termFormat EnglishLanguage NetworkResource "network resource") domainEnglishFormat.kif 40219-40219

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


(=>
    (instance ?Resource NetworkResource)
    (or
        (instance ?Resource Server)
        (instance ?Resource Printer)))
QoSontology.kif 1825-1829


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