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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - UserRequest
UserRequest(用户请求)

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


(documentation UserRequest EnglishLanguage "A request made by a ComputerUser, such as looking up a customer record.") QoSontology.kif 1736-1737
(subclass UserRequest ComputerProcess) QoSontology.kif 1735-1735 用户请求电脑程序subclass

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


(termFormat ChineseLanguage UserRequest "用户请求") domainEnglishFormat.kif 60821-60821
(termFormat ChineseTraditionalLanguage UserRequest "用戶請求") domainEnglishFormat.kif 60820-60820
(termFormat EnglishLanguage UserRequest "user request") domainEnglishFormat.kif 60819-60819

appearance as argument number 3
-------------------------


(domain computerResponseTo 2 UserRequest) QoSontology.kif 1752-1752 电脑回应给 的 2 数量 是 用户请求instance
(domain requestRate 1 UserRequest) QoSontology.kif 1779-1779 请求率 的 1 数量 是 用户请求instance
(domain responseTime 1 UserRequest) QoSontology.kif 1759-1759 反应时间 的 1 数量 是 用户请求instance

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


(=>
    (instance ?Request UserRequest)
    (exists (?User)
        (and
            (attribute ?User ComputerUser)
            (agent ?Request ?User))))
QoSontology.kif 1739-1744


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 is open source software produced by Articulate Software and its partners