TreeView Knowledge Base Browser

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	Il numero 1 argomenti di responseTime è un istanza di UserRequest
(domain responseTime 2 TimeDuration)	QoSontology.kif 1755-1755	Il numero 2 argomenti di responseTime è un istanza di Durata
(instance responseTime BinaryPredicate)	QoSontology.kif 1753-1753	responseTime è un' istanza di PredicatoBinario

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

antecedent

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

QoSontology.kif 1759-1763