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

Formal Language: 



KB Term:  Term intersection
English Word: 

  Server

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 1830-1832
(externalImage Server "http://www.adampease.org/Articulate/SUMOpictures/ pictures/ computer/ hardware/ server.png") pictureList.kif 722-722 externalImage Server and "http://www.adampease.org/Articulate/SUMOpictures/pictures/ computer/ hardware/ server.png"
(subclass Server ComputationalSystem) QoSontology.kif 1829-1829 ServerComputationalSystemsubclass

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


(termFormat EnglishLanguage Server "server") domainEnglishFormat.kif 9126-9126 termFormat EnglishLanguage, Server and "server"

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 3954-3979

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


(=>
    (instance ?Resource NetworkResource)
    (or
        (instance ?Resource Server)
        (instance ?Resource Printer)))
QoSontology.kif 1819-1823


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