computerResponseTo - Sigma Knowledge base Browser

appearance as argument number 1

(documentation computerResponseTo EnglishLanguage "(computerResponseTo ?Response ?Request) means that ?Response is a ComputerResponse to the UserRequest ?Request.")	QoSontology.kif 1748-1749
(domain computerResponseTo 1 ComputerResponse)	QoSontology.kif 1746-1746	The number 1 argument of computer response to is an instance of computer response
(domain computerResponseTo 2 UserRequest)	QoSontology.kif 1747-1747	The number 2 argument of computer response to is an instance of user request
(instance computerResponseTo BinaryPredicate)	QoSontology.kif 1745-1745	computer response to is an instance of binary predicate

appearance as argument number 2

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

antecedent

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

QoSontology.kif 1759-1763