computerResponseTo - Sigma Knowledge base Browser

appearance as argument number 1

(instance computerResponseTo BinaryPredicate)	QoSontology.kif 1869-1869	computer response to is an instance of binary predicate
(domain computerResponseTo 1 ComputerResponse)	QoSontology.kif 1870-1870	The number 1 argument of computer response to is an instance of computer response
(domain computerResponseTo 2 UserRequest)	QoSontology.kif 1871-1871	The number 2 argument of computer response to is an instance of user request
(documentation computerResponseTo EnglishLanguage "(computerResponseTo ?Response ?Request) means that ?Response is a ComputerResponse to the UserRequest ?Request.")	QoSontology.kif 1872-1873	The number 2 argument of computer response to is an instance of user request

appearance as argument number 2

(format EnglishLanguage computerResponseTo "%2 is %n a computer response of %1")	domainEnglishFormat.kif 514-514
(format ChineseTraditionalLanguage computerResponseTo "%2 %n 是 %1 的 computer 答覆")	domainEnglishFormat.kif 515-515
(format ChineseLanguage computerResponseTo "%2 %n 是 %1 的 computer 答覆")	domainEnglishFormat.kif 516-516
(termFormat EnglishLanguage computerResponseTo "computer response to")	domainEnglishFormat.kif 16386-16386
(termFormat ChineseTraditionalLanguage computerResponseTo "電腦回應給")	domainEnglishFormat.kif 16387-16387
(termFormat ChineseLanguage computerResponseTo "电脑回应给")	domainEnglishFormat.kif 16388-16388

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