TreeView Knowledge Base Browser

appearance as argument number 1

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

appearance as argument number 2

(termFormat EnglishLanguage UserRequest "user request")	domainEnglishFormat.kif 60839-60839
(termFormat ChineseTraditionalLanguage UserRequest "用戶請求")	domainEnglishFormat.kif 60840-60840
(termFormat ChineseLanguage UserRequest "用户请求")	domainEnglishFormat.kif 60841-60841

appearance as argument number 3

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

antecedent

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

If X is an instance of user request, then there exists Y such that computer user is an attribute of Y and Y is an agent of X