Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| sendRate |
| appearance as argument number 1 |
|
| (instance sendRate BinaryPredicate) | QoSontology.kif 2277-2277 | send rate is an instance of binary predicate |
| (domain sendRate 1 ComputationalSystem) | QoSontology.kif 2278-2278 | The number 1 argument of send rate is an instance of computational system |
| (domain sendRate 2 TimeDuration) | QoSontology.kif 2279-2279 | The number 2 argument of send rate is an instance of time duration |
| (documentation sendRate EnglishLanguage "(sendRate ?Program ?Period) holds if ?Period is the period at which the ComputationalSystem ?System sends data reports.") | QoSontology.kif 2280-2281 | The number 2 argument of send rate is an instance of time duration |
| appearance as argument number 2 |
|
|
| (format EnglishLanguage sendRate "%1 sends reports every %2") | domainEnglishFormat.kif 4492-4492 | |
| (format ChineseTraditionalLanguage sendRate "%1 sends reports 每個 %2 ") | domainEnglishFormat.kif 4493-4493 | |
| (format ChineseLanguage sendRate "%1 sends reports 每个 %2 ") | domainEnglishFormat.kif 4494-4494 | |
| (termFormat EnglishLanguage sendRate "send rate") | domainEnglishFormat.kif 52048-52048 | |
| (termFormat ChineseTraditionalLanguage sendRate "發送率") | domainEnglishFormat.kif 52049-52049 | |
| (termFormat ChineseLanguage sendRate "发送率") | domainEnglishFormat.kif 52050-52050 |
|