TreeView Knowledge Base Browser

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 1836-1838
(externalImage Server "http://articulatesoftware.com/SUMOpictures/computer/ hardware/ server.png")	pictureList.kif 722-722
(subclass Server ComputationalSystem)	QoSontology.kif 1835-1835	子類服務器 and 計算系統

appearance as argument number 2

(termFormat ChineseLanguage Server "服务器")	domainEnglishFormat.kif 52217-52217
(termFormat ChineseTraditionalLanguage Server "服務器")	domainEnglishFormat.kif 52216-52216
(termFormat EnglishLanguage Server "server")	domainEnglishFormat.kif 52215-52215

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 3759-3784

例 AccessingWebPage and AccessingWebPage 例 Entity and WebPage 例 Process and 數據傳輸例 Object and 服務器例 Process and Requesting 例 AutonomousAgent and WebBrowser 例 TimeInterval and TimeInterval 患者 AccessingWebPage and Entity agent Process and AutonomousAgent 目的地 Process and Object 患者 Process and Entity 起源 Process and Object 目的地 Process and AutonomousAgent 患者 Process and Entity 子過程 Process and AccessingWebPage 子過程 Process and AccessingWebPage 等於結束何時 Process and 開始 TimeInterval 等於結束何時 Process and 結束 TimeInterval
等於 access 的時間在 AccessingWebPage and TimeInterval

consequent

(=>
    (instance ?Resource NetworkResource)
    (or
        (instance ?Resource Server)
        (instance ?Resource Printer)))

QoSontology.kif 1825-1829

例 Entity and 網絡資源
例 Entity and 服務器例 Entity and 打印機

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

KB Term:			Term intersection

English Word: