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 | Il numero 1 argomenti di computerResponseTo è un istanza di ComputerResponse |
(domain computerResponseTo 2 UserRequest) | QoSontology.kif 1747-1747 | Il numero 2 argomenti di computerResponseTo è un istanza di UserRequest |
(instance computerResponseTo BinaryPredicate) | QoSontology.kif 1745-1745 | computerResponseTo è un' istanza di PredicatoBinario |
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 |
|