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

Formal Language: 



KB Term:  Term intersection
English Word: 

  responseTime

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 The number 1 argument of response time is an instance of user request
(domain responseTime 2 TimeDuration) QoSontology.kif 1755-1755 The number 2 argument of response time is an instance of time duration
(instance responseTime BinaryPredicate) QoSontology.kif 1753-1753 response time is an instance of binary predicate

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 simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree


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