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 1761-1762
(domain responseTime 1 UserRequest) QoSontology.kif 1759-1759 反应时间 的 1 数量 是 用户请求instance
(domain responseTime 2 TimeDuration) QoSontology.kif 1760-1760 反应时间 的 2 数量 是 持续时间instance
(instance responseTime BinaryPredicate) QoSontology.kif 1758-1758 反应时间二元谓语instance

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 49743-49743
(termFormat ChineseTraditionalLanguage responseTime "反應時間") domainEnglishFormat.kif 49742-49742
(termFormat EnglishLanguage responseTime "response time") domainEnglishFormat.kif 49741-49741

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


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


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