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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - responseTime
responseTime

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


(documentation responseTime EnglishLanguage "The time it takes for the computer to comply with a user's request, such as looking up a customer record.") QoSontology.kif 1756-1757
(domain responseTime 1 UserRequest) QoSontology.kif 1754-1754 Le nombre 1 argument de responseTime est une instance de UserRequest
(domain responseTime 2 TimeDuration) QoSontology.kif 1755-1755 Le nombre 2 argument de responseTime est une instance de dur�e temporel
(instance responseTime BinaryPredicate) QoSontology.kif 1753-1753 responseTime est une instance de pr�dicat binaire

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


(format ChineseLanguage responseTime "%2 %n 是 %1 response 时间") domainEnglishFormat.kif 2155-2155
(format ChineseTraditionalLanguage responseTime "%2 %n 是 %1 response 時間") domainEnglishFormat.kif 2154-2154
(format EnglishLanguage responseTime "%2 is %n a response time of %1") domainEnglishFormat.kif 2153-2153
(termFormat ChineseLanguage responseTime "反应时间") domainEnglishFormat.kif 49760-49760
(termFormat ChineseTraditionalLanguage responseTime "反應時間") domainEnglishFormat.kif 49759-49759
(termFormat EnglishLanguage responseTime "response time") domainEnglishFormat.kif 49758-49758

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


(=>
    (and
        (responseTime ?Request ?Time)
        (computerResponseTo ?Response ?Request))
    (duration
        (WhenFn ?Response) ?Time))
QoSontology.kif 1759-1763


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