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


KB Term:  Term intersection
English Word: 

Sigma KEE - Server
Server(server)
host, server

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


(subclass Server ComputationalSystem) QoSontology.kif 1959-1959 Server is a subclass of computational system
(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 1960-1962 Server is a subclass of computational system
(externalImage Server "http://articulatesoftware.com/SUMOpictures/computer/ hardware/ server.png") pictureList.kif 722-722 Server is a subclass of computational system

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


(termFormat EnglishLanguage Server "server") domainEnglishFormat.kif 52210-52210
(termFormat ChineseTraditionalLanguage Server "服務器") domainEnglishFormat.kif 52211-52211
(termFormat ChineseLanguage Server "服务器") domainEnglishFormat.kif 52212-52212

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 3756-3781 If All of the following hold: (1) X is an instance of accessing web page (2) Y is an instance of web page (3) Z is an instance of data transfer (4) W is an instance of server (5) V is an instance of requesting (6) U is an instance of web browser (7) T is an instance of timeframe (8) Y is a patient of X (9) U is an agent of V (10) V ends up at W (11) Y is a patient of V (12) Z originates at W (13) Z ends up at U (14) Y is a patient of Z (15) Z is a subprocess of X (16) V is a subprocess of X (17) equal the end of the time of existence of V and the beginning of T (18) equal the end of the time of existence of Z and the end of T, then equal the time to access in X and T

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


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