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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Server
Server

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


(documentation Server EnglishLanguage "A computer in a network shared by multiple users. The term may refer to both the hardware and software or just the software that performs the service.") QoSontology.kif 1841-1843
(externalImage Server "http://www.adampease.org/Articulate/SUMOpictures/ pictures/ computer/ hardware/ server.png") pictureList.kif 722-722
(subclass Server ComputationalSystem) QoSontology.kif 1840-1840

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


(termFormat ChineseLanguage Server "服务器") domainEnglishFormat.kif 52153-52153
(termFormat ChineseTraditionalLanguage Server "服務器") domainEnglishFormat.kif 52152-52152
(termFormat EnglishLanguage Server "server") domainEnglishFormat.kif 52151-52151

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


(=>
    (and
        (instance ?ACCESSING AccessingWebPage)
        (instance ?PAGE WebPage)
        (instance ?TRANSFER DataTransfer)
        (instance ?SERVER Server)
        (instance ?REQUESTING Requesting)
        (instance ?BROWSER WebBrowser)
        (instance ?INTERVAL TimeInterval)
        (patient ?ACCESSING ?PAGE)
        (agent ?REQUESTING ?BROWSER)
        (destination ?REQUESTING ?SERVER)
        (patient ?REQUESTING ?PAGE)
        (origin ?TRANSFER ?SERVER)
        (destination ?TRANSFER ?BROWSER)
        (patient ?TRANSFER ?PAGE)
        (subProcess ?TRANSFER ?ACCESSING)
        (subProcess ?REQUESTING ?ACCESSING)
        (equal
            (EndFn
                (WhenFn ?REQUESTING))
            (BeginFn ?INTERVAL))
        (equal
            (EndFn
                (WhenFn ?TRANSFER))
            (EndFn ?INTERVAL)))
    (equal
        (SiteSpeedFn ?ACCESSING) ?INTERVAL))
UXExperimentalTerms.kif 3961-3986

consequent
-------------------------


(=>
    (instance ?Resource NetworkResource)
    (or
        (instance ?Resource Server)
        (instance ?Resource Printer)))
QoSontology.kif 1830-1834


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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners