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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - ContinuousPath
ContinuousPath

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 1149-1152
(subclass ContinuousPath ComputerPathAttribute) QoSontology.kif 1148-1148 subclass ContinuousPath and ComputerPathAttribute

appearance as argument number 2
-------------------------


(termFormat ChineseLanguage ContinuousPath "连续路径") domainEnglishFormat.kif 16915-16915 termFormat ChineseLanguage, ContinuousPath and "连续路径"
(termFormat ChineseTraditionalLanguage ContinuousPath "連續路徑") domainEnglishFormat.kif 16914-16914 termFormat ChineseTraditionalLanguage, ContinuousPath and "連續路徑"
(termFormat EnglishLanguage ContinuousPath "continuous path") domainEnglishFormat.kif 16913-16913 termFormat EnglishLanguage, ContinuousPath and "continuous path"

antecedent
-------------------------


(=>
    (and
        (instance ?Path ComputerPath)
        (property ?Path ContinuousPath))
    (not
        (property ?Path QuasicontinuousPath)))
QoSontology.kif 1170-1174
(=>
    (and
        (instance ?Path ComputerPath)
        (property ?Path ContinuousPath))
    (not
        (property ?Path TransientPath)))
QoSontology.kif 1164-1168

consequent
-------------------------


(=>
    (dataStreamSlack ?Path ?Number)
    (or
        (property ?Path ContinuousPath)
        (property ?Path QuasicontinuousPath)))
QoSontology.kif 1219-1223


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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners