UserRequest - Sigma Knowledge base Browser

appearance as argument number 1

(documentation UserRequest EnglishLanguage "A request made by a ComputerUser, such as looking up a customer record.")	QoSontology.kif 1862-1863
(subclass UserRequest ComputerProcess)	QoSontology.kif 1861-1861	User request is a subclass of computer process

appearance as argument number 2

(termFormat ChineseLanguage UserRequest "用户请求")	domainEnglishFormat.kif 60877-60877
(termFormat ChineseTraditionalLanguage UserRequest "用戶請求")	domainEnglishFormat.kif 60876-60876
(termFormat EnglishLanguage UserRequest "user request")	domainEnglishFormat.kif 60875-60875

appearance as argument number 3

(domain computerResponseTo 2 UserRequest)	QoSontology.kif 1878-1878	The number 2 argument of computer response to is an instance of user request
(domain requestRate 1 UserRequest)	QoSontology.kif 1905-1905	The number 1 argument of request rate is an instance of user request
(domain responseTime 1 UserRequest)	QoSontology.kif 1885-1885	The number 1 argument of response time is an instance of user request

antecedent

(=>
    (instance ?Request UserRequest)
    (exists (?User)
        (and
            (attribute ?User ComputerUser)
            (agent ?Request ?User))))

QoSontology.kif 1865-1870