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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - UserRequest
UserRequest(user request)

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 60856-60856
(termFormat ChineseTraditionalLanguage UserRequest "用戶請求") domainEnglishFormat.kif 60855-60855
(termFormat EnglishLanguage UserRequest "user request") domainEnglishFormat.kif 60854-60854

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


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