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 1854-1855
(domain computerResponseTo 1 ComputerResponse)	QoSontology.kif 1852-1852	The number 1 argument of computer response to is an instance of computer response
(domain computerResponseTo 2 UserRequest)	QoSontology.kif 1853-1853	The number 2 argument of computer response to is an instance of user request
(instance computerResponseTo BinaryPredicate)	QoSontology.kif 1851-1851	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 16401-16401
(termFormat ChineseTraditionalLanguage computerResponseTo "電腦回應給")	domainEnglishFormat.kif 16400-16400
(termFormat EnglishLanguage computerResponseTo "computer response to")	domainEnglishFormat.kif 16399-16399

antecedent

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

QoSontology.kif 1865-1869