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

Formal Language: 



KB Term:  Term intersection
English Word: 

  NetworkResource

Sigma KEE - NetworkResource
NetworkResource

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

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


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

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