ContinuousPath(continuous path) |
appearance as argument number 1 |
(documentation ContinuousPath EnglishLanguage "The attribute which denotes that the path type is continuous, as opposed to transient or quasicontinuous paths. A continuous path handles a stream of data arriving at a comment of rate.") | QoSontology.kif 1144-1147 | |
(subclass ContinuousPath ComputerPathAttribute) | QoSontology.kif 1143-1143 | Continuous path is a subclass of computer path attribute |
appearance as argument number 2 |
(termFormat ChineseLanguage ContinuousPath "连续路径") | domainEnglishFormat.kif 17002-17002 | |
(termFormat ChineseTraditionalLanguage ContinuousPath "連續路徑") | domainEnglishFormat.kif 17001-17001 | |
(termFormat EnglishLanguage ContinuousPath "continuous path") | domainEnglishFormat.kif 17000-17000 |
antecedent |
(=> (and (instance ?Path ComputerPath) (property ?Path ContinuousPath)) (not (property ?Path QuasicontinuousPath))) |
QoSontology.kif 1165-1169 |
|
(=> (and (instance ?Path ComputerPath) (property ?Path ContinuousPath)) (not (property ?Path TransientPath))) |
QoSontology.kif 1159-1163 |
|
consequent |
(=> (dataStreamSlack ?Path ?Number) (or (property ?Path ContinuousPath) (property ?Path QuasicontinuousPath))) |
QoSontology.kif 1214-1218 |
|