Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| qoSSlack |
| appearance as argument number 1 |
|
| (instance qoSSlack TernaryPredicate) | QoSontology.kif 1289-1289 | qoS slack is an instance of ternary predicate |
| (domain qoSSlack 1 ComputerPath) | QoSontology.kif 1290-1290 | The number 1 argument of qoS slack is an instance of computer path |
| (domain qoSSlack 2 ConstantQuantity) | QoSontology.kif 1291-1291 | The number 2 argument of qoS slack is an instance of constant quantity |
| (domain qoSSlack 3 ConstantQuantity) | QoSontology.kif 1292-1292 | The number 3 argument of qoS slack is an instance of constant quantity |
| (documentation qoSSlack EnglishLanguage "(qoSSlack ?PATH ?MIN ?MAX) holds if ?PATH has a realtime QoS maximum slack percentage of ?MAX and minimum of ?MIN.") | QoSontology.kif 1293-1295 | The number 3 argument of qoS slack is an instance of constant quantity |
| appearance as argument number 2 |
|
|
| (format EnglishLanguage qoSSlack "%1 is between %2 and %3 slack") | domainEnglishFormat.kif 4284-4284 | |
| (format ChineseTraditionalLanguage qoSSlack "%1 是在 %2 和 %3 slack 之間") | domainEnglishFormat.kif 4285-4285 | |
| (format ChineseLanguage qoSSlack "%1 是在 %2 和 %3 slack 之间") | domainEnglishFormat.kif 4286-4286 | |
| (termFormat EnglishLanguage qoSSlack "qoS slack") | domainEnglishFormat.kif 48271-48271 | |
| (termFormat ChineseTraditionalLanguage qoSSlack "qoS鬆弛") | domainEnglishFormat.kif 48272-48272 | |
| (termFormat ChineseLanguage qoSSlack "qoS松弛") | domainEnglishFormat.kif 48273-48273 |
|