Browsing Interface : Welcome guest : log in 		[  Home |  Graph |  LogLearn |  Editor |  ]  KB:  Language: 
  Formal Language: 


KB Term:  Term intersection
English Word: 

  NetworkResource

 Sigma KEE - NetworkResource
NetworkResource(network resource)

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


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

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


(termFormat EnglishLanguage NetworkResource "network resource") domainEnglishFormat.kif 40225-40225
(termFormat ChineseTraditionalLanguage NetworkResource "網絡資源") domainEnglishFormat.kif 40226-40226
(termFormat ChineseLanguage NetworkResource "网络资源") domainEnglishFormat.kif 40227-40227

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


(=>
    (instance ?Resource NetworkResource)
    (or
        (instance ?Resource Server)
        (instance ?Resource Printer)))		 QoSontology.kif 1949-1953 If X is an instance of network resource, then X is an instance of server or X is an instance of printer


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.0-0a80e6c8 (2026-05-12) is open source software produced by Articulate Software and its partners