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 1731-1732
(subclass UserRequest ComputerProcess)	QoSontology.kif 1730-1730	User request is a subclass of computer process

appearance as argument number 2

(termFormat ChineseLanguage UserRequest "用户请求")	domainEnglishFormat.kif 60902-60902
(termFormat ChineseTraditionalLanguage UserRequest "用戶請求")	domainEnglishFormat.kif 60901-60901
(termFormat EnglishLanguage UserRequest "user request")	domainEnglishFormat.kif 60900-60900

appearance as argument number 3

(domain computerResponseTo 2 UserRequest)	QoSontology.kif 1747-1747	The number 2 argument of computer response to is an instance of user request
(domain requestRate 1 UserRequest)	QoSontology.kif 1774-1774	The number 1 argument of request rate is an instance of user request
(domain responseTime 1 UserRequest)	QoSontology.kif 1754-1754	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 1734-1739