Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

  ContinuousPath

Sigma KEE - ContinuousPath
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 16986-16986
(termFormat ChineseTraditionalLanguage ContinuousPath "連續路徑") domainEnglishFormat.kif 16985-16985
(termFormat EnglishLanguage ContinuousPath "continuous path") domainEnglishFormat.kif 16984-16984

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


Show simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree


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