| 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 1756-1757 | |
| (domain responseTime 1 UserRequest) | QoSontology.kif 1754-1754 | The number 1 argument of response time is an instance of user request |
| (domain responseTime 2 TimeDuration) | QoSontology.kif 1755-1755 | The number 2 argument of response time is an instance of time duration |
| (instance responseTime BinaryPredicate) | QoSontology.kif 1753-1753 | response time is an instance of binary predicate |
| appearance as argument number 2 |
|
|
| (format ChineseLanguage responseTime "%2 %n 是 %1 response 时间") | domainEnglishFormat.kif 2155-2155 | |
| (format ChineseTraditionalLanguage responseTime "%2 %n 是 %1 response 時間") | domainEnglishFormat.kif 2154-2154 | |
| (format EnglishLanguage responseTime "%2 is %n a response time of %1") | domainEnglishFormat.kif 2153-2153 | |
| (termFormat ChineseLanguage responseTime "反应时间") | domainEnglishFormat.kif 49800-49800 | |
| (termFormat ChineseTraditionalLanguage responseTime "反應時間") | domainEnglishFormat.kif 49799-49799 | |
| (termFormat EnglishLanguage responseTime "response time") | domainEnglishFormat.kif 49798-49798 |
| antecedent |
|
|
| (=> (and (responseTime ?Request ?Time) (computerResponseTo ?Response ?Request)) (duration (WhenFn ?Response) ?Time)) |
QoSontology.kif 1759-1763 |
|
|
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