| appearance as argument number 1 |
|
| (documentation responseTime EnglishLanguage "The time it takes for the computer to comply with a user's request, such as looking up a customer record.") | QoSontology.kif 1862-1863 | |
| (domain responseTime 1 UserRequest) | QoSontology.kif 1860-1860 | The number 1 argument of response time is an instance of user request |
| (domain responseTime 2 TimeDuration) | QoSontology.kif 1861-1861 | The number 2 argument of response time is an instance of time duration |
| (instance responseTime BinaryPredicate) | QoSontology.kif 1859-1859 | response time is an instance of binary predicate |
| appearance as argument number 2 |
|
|
| (format ChineseLanguage responseTime "%2 %n 是 %1 response 时间") | domainEnglishFormat.kif 2159-2159 | |
| (format ChineseTraditionalLanguage responseTime "%2 %n 是 %1 response 時間") | domainEnglishFormat.kif 2158-2158 | |
| (format EnglishLanguage responseTime "%2 is %n a response time of %1") | domainEnglishFormat.kif 2157-2157 | |
| (termFormat ChineseLanguage responseTime "反应时间") | domainEnglishFormat.kif 49793-49793 | |
| (termFormat ChineseTraditionalLanguage responseTime "反應時間") | domainEnglishFormat.kif 49792-49792 | |
| (termFormat EnglishLanguage responseTime "response time") | domainEnglishFormat.kif 49791-49791 |
| antecedent |
|
|
| (=> (and (responseTime ?Request ?Time) (computerResponseTo ?Response ?Request)) (duration (WhenFn ?Response) ?Time)) |
QoSontology.kif 1865-1869 |
|
|
Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)
|
|
Sigma web home Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0 is open source software produced by Articulate Software and its partners