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