| 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 1316-1318 | |
| (domain dataStreamSlack 1 ComputerPath) | QoSontology.kif 1314-1314 | The number 1 argument of data stream slack is an instance of computer path |
| (domain dataStreamSlack 2 PositiveInteger) | QoSontology.kif 1315-1315 | The number 2 argument of data stream slack is an instance of positive integer |
| (instance dataStreamSlack BinaryPredicate) | QoSontology.kif 1313-1313 | data stream slack is an instance of binary predicate |
| 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 18609-18609 | |
| (termFormat ChineseTraditionalLanguage dataStreamSlack "數據流鬆弛") | domainEnglishFormat.kif 18608-18608 | |
| (termFormat EnglishLanguage dataStreamSlack "data stream slack") | domainEnglishFormat.kif 18607-18607 |
| antecedent |
|
|
| (=> (dataStreamSlack ?Path ?Number) (or (property ?Path ContinuousPath) (property ?Path QuasicontinuousPath))) |
QoSontology.kif 1320-1324 |
|
|
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