responseTime - Sigma Knowledge base Browser

appearance as argument number 1

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

appearance as argument number 2

(format EnglishLanguage responseTime "%2 is %n a response time of %1")	domainEnglishFormat.kif 2157-2157
(format ChineseTraditionalLanguage responseTime "%2 %n 是 %1 response 時間")	domainEnglishFormat.kif 2158-2158
(format ChineseLanguage responseTime "%2 %n 是 %1 response 时间")	domainEnglishFormat.kif 2159-2159
(termFormat EnglishLanguage responseTime "response time")	domainEnglishFormat.kif 49755-49755
(termFormat ChineseTraditionalLanguage responseTime "反應時間")	domainEnglishFormat.kif 49756-49756
(termFormat ChineseLanguage responseTime "反应时间")	domainEnglishFormat.kif 49757-49757

antecedent

(=>
    (and
        (responseTime ?Request ?Time)
        (computerResponseTo ?Response ?Request))
    (duration
        (WhenFn ?Response) ?Time))

If X is a response time of Y and Y is a computer response of Z, then duration of the time of existence of Z is X