TreeView Knowledge Base Browser - computerResponseTo

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
(domain computerResponseTo 2 UserRequest)	QoSontology.kif 1747-1747
(instance computerResponseTo BinaryPredicate)	QoSontology.kif 1745-1745

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 16386-16386
(termFormat ChineseTraditionalLanguage computerResponseTo "電腦回應給")	domainEnglishFormat.kif 16385-16385
(termFormat EnglishLanguage computerResponseTo "computer response to")	domainEnglishFormat.kif 16384-16384

antecedent

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

QoSontology.kif 1759-1763