| appearance as argument number 1 |
|
| (documentation dataStreamSlack EnglishLanguage "(dataStreamSlack ?PATH ?N) means that a continuous or quasicontinuous path ?PATH should be able to process ?N additional data items at any time.") | QoSontology.kif 1210-1212 | |
| (domain dataStreamSlack 1 ComputerPath) | QoSontology.kif 1208-1208 | Il numero 1 argomenti di dataStreamSlack è un istanza di ComputerPath |
| (domain dataStreamSlack 2 PositiveInteger) | QoSontology.kif 1209-1209 | Il numero 2 argomenti di dataStreamSlack è un istanza di NumeroInteroPositivo |
| (instance dataStreamSlack BinaryPredicate) | QoSontology.kif 1207-1207 | dataStreamSlack è un' istanza di PredicatoBinario |
| appearance as argument number 2 |
|
|
| (format ChineseLanguage dataStreamSlack "%2 %n %1 的 data 松弛") | domainEnglishFormat.kif 644-644 | |
| (format ChineseTraditionalLanguage dataStreamSlack "%2 %n 是 %1 的 data 鬆弛") | domainEnglishFormat.kif 643-643 | |
| (format EnglishLanguage dataStreamSlack "%2 is %n a data stream slack of %1") | domainEnglishFormat.kif 642-642 | |
| (termFormat ChineseLanguage dataStreamSlack "数据流松弛") | domainEnglishFormat.kif 18594-18594 | |
| (termFormat ChineseTraditionalLanguage dataStreamSlack "數據流鬆弛") | domainEnglishFormat.kif 18593-18593 | |
| (termFormat EnglishLanguage dataStreamSlack "data stream slack") | domainEnglishFormat.kif 18592-18592 |
| antecedent |
|
|
| (=> (dataStreamSlack ?Path ?Number) (or (property ?Path ContinuousPath) (property ?Path QuasicontinuousPath))) |
QoSontology.kif 1214-1218 |
|
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